lib/scripts/patch-scripts.bash
changeset 6082 590f9e3bf4d8
parent 4508 f102cb0140fe
child 6088 bb60ec0bcd74
--- a/lib/scripts/patch-scripts.bash	Mon Jan 11 18:45:46 1999 +0100
+++ b/lib/scripts/patch-scripts.bash	Tue Jan 12 12:17:53 1999 +0100
@@ -38,7 +38,9 @@
 for FILE in $(find . -type f -print)
 do
   if [ -x "$FILE" ]; then
-    sed -e "s:^#!.*/bash:#!$BASH:" -e "s:^#!.*/perl:#!$PERL:" $FILE >$FILE~~
+    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~~
     if cmp -s $FILE $FILE~~; then
       rm $FILE~~
     else