restored AUTO_BASH/PERL -- beware of ./configure!
authorwenzelm
Tue Apr 26 19:51:12 2005 +0200 (2005-04-26)
changeset 158483001067227af
parent 15847 c05c7670f166
child 15849 a2c8160b58fd
restored AUTO_BASH/PERL -- beware of ./configure!
rm -f generated files to avoid accidental overwriting symlinked targets;
lib/Tools/install
     1.1 --- a/lib/Tools/install	Tue Apr 26 19:50:57 2005 +0200
     1.2 +++ b/lib/Tools/install	Tue Apr 26 19:51:12 2005 +0200
     1.3 @@ -80,9 +80,10 @@
     1.4  [ "$#" -ne 0 -o -n "$NO_OPTS" ] && usage
     1.5  
     1.6  if [ -z "$RDISTDIR" ]; then
     1.7 -  RDISTDIR=$DISTDIR
     1.8 +  RDISTDIR="$DISTDIR"
     1.9  fi
    1.10  
    1.11 +
    1.12  ## main
    1.13  
    1.14  echo "referring to distribution at $DISTDIR"
    1.15 @@ -91,7 +92,7 @@
    1.16  # standalone binaries
    1.17  
    1.18  #set by configure
    1.19 -AUTO_BASH=/bin/bash
    1.20 +AUTO_BASH=bash
    1.21  
    1.22  case "$AUTO_BASH" in
    1.23    /*)
    1.24 @@ -110,6 +111,7 @@
    1.25      BIN="$BINDIR/$NAME"
    1.26      DIST="$RDISTDIR/bin/$NAME"
    1.27      echo "installing $BIN"
    1.28 +    rm -f "$BIN"
    1.29      echo "#!$BASH" > "$BIN" || fail "Cannot write file: $BIN"
    1.30      echo >> "$BIN"
    1.31      echo "exec \"$DIST\" \"\$@\"" >> "$BIN"
    1.32 @@ -120,6 +122,7 @@
    1.33      BIN="$BINDIR/$NAME"
    1.34      DIST="$DISTDIR/bin/$NAME"
    1.35      echo "installing $BIN"
    1.36 +    rm -f "$BIN"
    1.37      cp "$DIST" "$BIN" || fail "Cannot write file: $BIN"
    1.38      chmod +x "$BIN"
    1.39    done