changeset 2475 | 36bdba95e170 |
parent 2350 | da4f8b250e1a |
--- a/patch-scripts.bash Tue Jan 07 09:01:52 1997 +0100 +++ b/patch-scripts.bash Tue Jan 07 09:03:53 1997 +0100 @@ -41,7 +41,7 @@ do if [ -x "$FILE" ]; then sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" $FILE >$FILE~~ - if cmp $FILE $FILE~~ -s; then + if cmp -s $FILE $FILE~~; then rm $FILE~~ else rm -f $FILE