diff options
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/patchfns.in | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/scripts/patchfns.in b/scripts/patchfns.in index e2daff8..f16ad4e 100644 --- a/scripts/patchfns.in +++ b/scripts/patchfns.in @@ -272,6 +272,25 @@ is_applied() grep -q -E "^$(quote_re $patch)\$" $DB } +applied_patches() +{ + [ -e $DB ] || return 1 + cat $DB +} + +applied_before() +{ + local patch=$1 + + if [ -n "$patch" ] + then + @AWK@ ' + $0 == "'"$patch"'" { exit } + { print } + ' $DB + fi +} + patches_before() { local patch=$1 |