diff options
Diffstat (limited to 'source/script/revert.sh')
-rwxr-xr-x | source/script/revert.sh | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/source/script/revert.sh b/source/script/revert.sh index 68b47bf39d0..8df5fd2fbde 100755 --- a/source/script/revert.sh +++ b/source/script/revert.sh @@ -3,11 +3,14 @@ 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 + 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 |