diff options
| -rw-r--r-- | scripts/gendiff | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/scripts/gendiff b/scripts/gendiff index de51c5710..1abdcd077 100644 --- a/scripts/gendiff +++ b/scripts/gendiff @@ -6,14 +6,16 @@ exit 1 } +: ${DIFF:=diff -p} + find $1 \( -name "*$2" -o -name ".*$2" \) -print | while read f; do U=-u [ "`basename $f`" = "ChangeLog$2" ] && U=-U0 -# diff ${U} $f `echo $f | sed s/$2\$//` +# ${DIFF} ${U} $f `echo $f | sed s/$2\$//` if [ -r "$f" ]; then - diff ${U} "${f}" "${f%$2}" + ${DIFF} ${U} "${f}" "${f%$2}" else - diff ${U} /dev/null "${f%$2}" + ${DIFF} ${U} /dev/null "${f%$2}" fi done |