source4/script/uninstallheader.sh

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