1 files changed, 15 insertions, 0 deletions
diff --git a/source/script/revert.sh b/source/script/revert.sh
new file mode 100755
index 00000000000..68b47bf39d0
--- /dev/null
+++ b/source/script/revert.sh
@@ -0,0 +1,15 @@
+#!/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
+