From 69c09e7a34de7fd31960d240d34dabdeddb37222 Mon Sep 17 00:00:00 2001 From: Andrew Bartlett Date: Wed, 22 May 2013 12:37:34 +1000 Subject: [PATCH] build: Remove unused revert.sh script Reviewed-by: Jelmer Vernooij Reviewed-by: David Disseldorp --- 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.34.1