# HG changeset patch
# User wenzelm
# Date 916156888 -3600
# Node ID b4ec1af7053fac86dfcc1fe3521ab5ea53b52f78
# Parent  55c7f8f0bb4d9447878d22df1aea27880b4b9557
fixed again;

diff -r 55c7f8f0bb4d -r b4ec1af7053f lib/scripts/patch-scripts.bash
--- 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