source3/script/installbin.sh.in

   1 #!/bin/sh
   2
   3 INSTALLPERMS=$1
   4 DESTDIR=$2
   5 prefix=`echo $3 | sed 's/\/\//\//g'`
   6 BINDIR=`echo $4 | sed 's/\/\//\//g'`
   7 SBINDIR=@sbindir@
   8 shift
   9 shift
  10 shift
  11 shift
  12
  13 for p in $*; do
  14  p2=`basename $p`
  15  echo "Installing $p as $DESTDIR/$BINDIR/$p2 "
  16  if [ -f $DESTDIR/$BINDIR/$p2 ]; then
  17    rm -f $DESTDIR/$BINDIR/$p2.old
  18    mv $DESTDIR/$BINDIR/$p2 $DESTDIR/$BINDIR/$p2.old
  19  fi
  20  cp $p $DESTDIR/$BINDIR/
  21  chmod $INSTALLPERMS $DESTDIR/$BINDIR/$p2
  22 done
  23
  24
  25 cat << EOF
  26 ======================================================================
  27 The binaries are installed. You may restore the old binaries (if there
  28 were any) using the command "make revert". You may uninstall the binaries
  29 using the command "make uninstallbin" or "make uninstall" to uninstall
  30 binaries, man pages and shell scripts.
  31 ======================================================================
  32 EOF
  33
  34 exit 0