[beast: 2/9] MISC: make-deb.sh: clear build directory before and after building



commit 0e440aa6f343901b33939c2e34a927479def29d0
Author: Tim Janik <timj gnu org>
Date:   Tue Jun 27 02:16:06 2017 +0200

    MISC: make-deb.sh: clear build directory before and after building
    
    Signed-off-by: Tim Janik <timj gnu org>

 misc/make-deb.sh |   17 +++++++++++++++++
 1 files changed, 17 insertions(+), 0 deletions(-)
---
diff --git a/misc/make-deb.sh b/misc/make-deb.sh
index c690428..ca059db 100755
--- a/misc/make-deb.sh
+++ b/misc/make-deb.sh
@@ -5,6 +5,20 @@ set -e # -x
 SCRIPTNAME=`basename $0`
 function die  { [ -n "$*" ] && echo "$SCRIPTNAME: $*" >&2; exit 127 ; }
 
+# parse options
+KEEPTMP=false
+while [ $# -gt 0 ] ; do
+  case "$1" in
+    -k)        KEEPTMP=true ;;
+    *) die "unknown option: $1"
+  esac
+  shift
+done
+
+# clear ./tmpdeb/
+$KEEPTMP || rm -rf ./tmpdeb/
+
+# helper
 git_clone()
 {
   URL="$1" ; REPO="$2" ; COMMIT="$3"
@@ -220,3 +234,6 @@ fakeroot dpkg-deb -b $DESTDIR $DESTDIR/..
 # Move the package
 mv $DESTDIR/../$NAME''_$VERSION''_$ARCH.deb .
 ls -al $NAME''_$VERSION''_$ARCH.deb
+
+# clear ./tmpdeb/
+$KEEPTMP || rm -rf ./tmpdeb/


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]