diff options
Diffstat (limited to 'scripts/patchfns.in')
-rw-r--r-- | scripts/patchfns.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/patchfns.in b/scripts/patchfns.in index a4329df..8b0f3af 100644 --- a/scripts/patchfns.in +++ b/scripts/patchfns.in @@ -437,6 +437,7 @@ diff_file() [ -s "$old_file" ] || old_file=/dev/null [ -s "$new_file" ] || new_file=/dev/null + : ${opt_strip_level:=1} if [ $opt_strip_level -eq 0 ] then old_hdr=$file.orig |