diff options
Diffstat (limited to 'source/script/uninstalltorture.sh')
| -rwxr-xr-x | source/script/uninstalltorture.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/source/script/uninstalltorture.sh b/source/script/uninstalltorture.sh deleted file mode 100755 index 0c6e4ec9917..00000000000 --- a/source/script/uninstalltorture.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh - -TORTUREDIR=$1 -shift -shift - -for p in $*; do - p2=`dirname $p` - base=`basename $p` - DESTDIR=$TORTUREDIR/`basename $p2` - echo Removing $DESTDIR/$base - rm -f $p $DESTDIR/ -done - -exit 0 |