lib/Tools/install
changeset 26577 50f47cc2af72
parent 16653 c12c2f411f77
child 28504 7ad7d7d6df47
     1.1 --- a/lib/Tools/install	Tue Apr 08 15:47:10 2008 +0200
     1.2 +++ b/lib/Tools/install	Tue Apr 08 15:47:12 2008 +0200
     1.3 @@ -71,18 +71,6 @@
     1.4  
     1.5  # standalone binaries
     1.6  
     1.7 -#set by configure
     1.8 -AUTO_BASH=bash
     1.9 -
    1.10 -case "$AUTO_BASH" in
    1.11 -  /*)
    1.12 -    BASH="$AUTO_BASH"
    1.13 -    ;;
    1.14 -  *)
    1.15 -    BASH="/usr/bin/env bash"
    1.16 -    ;;
    1.17 -esac
    1.18 -
    1.19  if [ -n "$BINDIR" ]; then
    1.20    mkdir -p "$BINDIR" || fail "Bad directory: $BINDIR"
    1.21  
    1.22 @@ -92,7 +80,7 @@
    1.23      DIST="$DISTDIR/bin/$NAME"
    1.24      echo "installing $BIN"
    1.25      rm -f "$BIN"
    1.26 -    echo "#!$BASH" > "$BIN" || fail "Cannot write file: $BIN"
    1.27 +    echo "#!/usr/bin/env bash" > "$BIN" || fail "Cannot write file: $BIN"
    1.28      echo >> "$BIN"
    1.29      echo "exec \"$DIST\" \"\$@\"" >> "$BIN"
    1.30      chmod +x "$BIN"