lib/Tools/install
changeset 5398 81936a99a3b0
parent 5367 33f81e980c93
child 5403 aa04ac8bfeae
     1.1 --- a/lib/Tools/install	Thu Aug 27 18:46:57 1998 +0200
     1.2 +++ b/lib/Tools/install	Thu Aug 27 20:15:43 1998 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4      echo "install $B"
     1.5      echo "#!$BASH" >$B || fail "Cannot write file: $B"
     1.6      echo >>$B
     1.7 -    echo "$BIN \"\$@\"" >>$B
     1.8 +    echo "exec $BIN \"\$@\"" >>$B
     1.9      chmod +x $B
    1.10    fi
    1.11  done