author | wenzelm |
Tue, 12 Jan 1999 13:37:40 +0100 | |
changeset 6088 | bb60ec0bcd74 |
parent 6087 | c8ec08fced15 |
child 6089 | 4d2d5556b4f9 |
--- a/lib/scripts/patch-scripts.bash Tue Jan 12 13:14:22 1999 +0100 +++ b/lib/scripts/patch-scripts.bash Tue Jan 12 13:37:40 1999 +0100 @@ -40,7 +40,7 @@ if [ -x "$FILE" ]; then sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" \ -e "s:^AUTO_BASH=.*/bash:AUTO_BASH=$BASH:" \ - -e "s:^AUTO_PERL=.*/bash:AUTO_PERL=$PERL:" $FILE >$FILE~~ + -e "s:^AUTO_PERL=.*/perl:AUTO_PERL=$PERL:" $FILE >$FILE~~ if cmp -s $FILE $FILE~~; then rm $FILE~~ else