build: Remove unused revert.sh script

Reviewed-by: Jelmer Vernooij <jelmer@samba.org>
Reviewed-by: David Disseldorp <ddiss@samba.org>

diff --git a/source3/script/revert.sh b/source3/script/revert.sh
deleted file mode 100755 (executable)
index 8df5fd2..0000000
--- 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
-