lib/scripts/patch-scripts.bash
changeset 6105 b4ec1af7053f
parent 6088 bb60ec0bcd74
child 6974 60b0e4bbe331
--- 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