lib/scripts/patch-scripts.bash
changeset 6088 bb60ec0bcd74
parent 6082 590f9e3bf4d8
child 6105 b4ec1af7053f
--- 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