diff options
Diffstat (limited to 'source/script/revert.sh')
-rwxr-xr-x | source/script/revert.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/source/script/revert.sh b/source/script/revert.sh deleted file mode 100755 index 68b47bf39d0..00000000000 --- a/source/script/revert.sh +++ /dev/null @@ -1,15 +0,0 @@ -#!/bin/sh -BINDIR=$1 -shift - -for p in $*; do - if [ -f $BINDIR/$p.old ]; then - echo Restoring $BINDIR/$p.old as $BINDIR/$p - mv $BINDIR/$p $BINDIR/$p.new - mv $BINDIR/$p.old $BINDIR/$p - rm -f $BINDIR/$p.new - fi -done - -exit 0 - |