author | wenzelm |
Tue, 12 Jan 1999 17:01:28 +0100 | |
changeset 6105 | b4ec1af7053f |
parent 6104 | 55c7f8f0bb4d |
child 6106 | f5999c0f40b9 |
--- a/lib/scripts/patch-scripts.bash Tue Jan 12 16:44:31 1999 +0100 +++ b/lib/scripts/patch-scripts.bash Tue Jan 12 17:01:28 1999 +0100 @@ -39,8 +39,8 @@ do 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=.*/perl:AUTO_PERL=$PERL:" $FILE >$FILE~~ + -e "s:^AUTO_BASH=.*bash:AUTO_BASH=$BASH:" \ + -e "s:^AUTO_PERL=.*perl:AUTO_PERL=$PERL:" $FILE >$FILE~~ if cmp -s $FILE $FILE~~; then rm $FILE~~ else