diff options
| -rwxr-xr-x | source3/script/revert.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/source3/script/revert.sh b/source3/script/revert.sh deleted file mode 100755 index 8df5fd2fbd..0000000000 --- a/source3/script/revert.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/sh -BINDIR=$1 -shift - -for p in $*; do - p2=`basename $p` - if [ -f $BINDIR/$p2.old ]; then - echo Restoring $BINDIR/$p2.old - mv $BINDIR/$p2 $BINDIR/$p2.new - mv $BINDIR/$p2.old $BINDIR/$p2 - rm -f $BINDIR/$p2.new - else - echo Not restoring $p - fi -done - -exit 0 - |