1#!/bin/sh 2# based on uninstallbin.sh 3# 4 July 96 Dan.Shearer@UniSA.edu.au 4 5LIBDIR=$1 6shift 7 8if [ ! -d $LIBDIR ]; then 9 echo Directory $LIBDIR does not exist! 10 echo Do a "make installbin" or "make install" first. 11 exit 1 12fi 13 14for p in $*; do 15 p2=`basename $p` 16 if [ -f $LIBDIR/$p2 ]; then 17 echo Removing $LIBDIR/$p2 18 rm -f $LIBDIR/$p2 19 if [ -f $LIBDIR/$p2 ]; then 20 echo Cannot remove $LIBDIR/$p2 ... does $USER have privileges? 21 fi 22 fi 23done 24 25 26cat << EOF 27====================================================================== 28The shared libraries have been uninstalled. You may restore the libraries using 29the command "make installlib" or "make install" to install binaries, 30man pages, modules and shell scripts. You can restore a previous 31version of the libraries (if there were any) using "make revert". 32====================================================================== 33EOF 34 35exit 0 36