13 for d in $BASEDIR $BINDIR $LIBDIR $VARDIR; do
17 echo Failed to make directory $d
25 echo Installing $p as $BINDIR/$p
26 if [ -f $BINDIR/$p ]; then
27 mv $BINDIR/$p $BINDIR/$p.old
30 chmod $INSTALLPERMS $BINDIR/$p
35 ======================================================================
36 The binaries are installed. You may restore the old binaries (if there
37 were any) using the command "make revert"
38 ======================================================================