# HG changeset patch
# User wenzelm
# Date 1114537872 -7200
# Node ID 3001067227afddf8e0005b33839c345fd49fbd01
# Parent  c05c7670f16620dfcb1cfd4d588b9f1739b75de9
restored AUTO_BASH/PERL -- beware of ./configure!
rm -f generated files to avoid accidental overwriting symlinked targets;

diff -r c05c7670f166 -r 3001067227af lib/Tools/install
--- a/lib/Tools/install	Tue Apr 26 19:50:57 2005 +0200
+++ b/lib/Tools/install	Tue Apr 26 19:51:12 2005 +0200
@@ -80,9 +80,10 @@
 [ "$#" -ne 0 -o -n "$NO_OPTS" ] && usage
 
 if [ -z "$RDISTDIR" ]; then
-  RDISTDIR=$DISTDIR
+  RDISTDIR="$DISTDIR"
 fi
 
+
 ## main
 
 echo "referring to distribution at $DISTDIR"
@@ -91,7 +92,7 @@
 # standalone binaries
 
 #set by configure
-AUTO_BASH=/bin/bash
+AUTO_BASH=bash
 
 case "$AUTO_BASH" in
   /*)
@@ -110,6 +111,7 @@
     BIN="$BINDIR/$NAME"
     DIST="$RDISTDIR/bin/$NAME"
     echo "installing $BIN"
+    rm -f "$BIN"
     echo "#!$BASH" > "$BIN" || fail "Cannot write file: $BIN"
     echo >> "$BIN"
     echo "exec \"$DIST\" \"\$@\"" >> "$BIN"
@@ -120,6 +122,7 @@
     BIN="$BINDIR/$NAME"
     DIST="$DISTDIR/bin/$NAME"
     echo "installing $BIN"
+    rm -f "$BIN"
     cp "$DIST" "$BIN" || fail "Cannot write file: $BIN"
     chmod +x "$BIN"
   done