diff options
Diffstat (limited to 'source/script/installbin.sh')
| -rwxr-xr-x | source/script/installbin.sh | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/source/script/installbin.sh b/source/script/installbin.sh deleted file mode 100755 index b976a3e5ea8..00000000000 --- a/source/script/installbin.sh +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/sh -INSTALLPERMS=$1 -BASEDIR=$2 -BINDIR=$3 -LIBDIR=$4 -VARDIR=$5 -shift -shift -shift -shift -shift - -for d in $BASEDIR $BINDIR $LIBDIR $VARDIR; do -if [ ! -d $d ]; then -mkdir $d -if [ ! -d $d ]; then - echo Failed to make directory $d - exit 1 -fi -fi -done - - -for p in $*; do - echo Installing $p as $BINDIR/$p - if [ -f $BINDIR/$p ]; then - mv $BINDIR/$p $BINDIR/$p.old - fi - cp $p $BINDIR/$p - chmod $INSTALLPERMS $BINDIR/$p -done - - -cat << EOF -====================================================================== -The binaries are installed. You may restore the old binaries (if there -were any) using the command "make revert". You may uninstall the binaries -using the command "make uninstallbin" or "make uninstall" to uninstall -binaries, man pages and shell scripts. -====================================================================== -EOF - -exit 0 - |