diff -r aa97eb904692 -r 590f9e3bf4d8 lib/scripts/patch-scripts.bash --- 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