From 69c09e7a34de7fd31960d240d34dabdeddb37222 Mon Sep 17 00:00:00 2001
From: Andrew Bartlett <abartlet@samba.org>
Date: Wed, 22 May 2013 12:37:34 +1000
Subject: [PATCH] build: Remove unused revert.sh script

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

Reviewed-by: David Disseldorp <ddiss@samba.org>
---
 source3/script/revert.sh | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 source3/script/revert.sh

diff --git a/source3/script/revert.sh b/source3/script/revert.sh
deleted file mode 100755
index 8df5fd2fbde..00000000000
--- 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
-
-- 
2.11.4.GIT