source/script/uninstalltorture.sh

   1 #!/bin/sh
   2
   3 TORTUREDIR=$1
   4 shift
   5 shift
   6
   7 for p in $*; do
   8  p2=`dirname $p`
   9  base=`basename $p`
  10  DESTDIR=$TORTUREDIR/`basename $p2`
  11  echo Removing $DESTDIR/$base
  12  rm -f $p $DESTDIR/
  13 done
  14
  15 exit 0