From: Ben Gras <ben@minix3.org>
Date: Thu, 6 Oct 2011 19:10:49 +0000 (+0000)
Subject: release: by default leave src/.git
X-Git-Tag: v3.2.0~290
X-Git-Url: http://zhaoyanbai.com/repos/dnssec-dsfromkey.html?a=commitdiff_plain;h=391372193c2a5170f9c14fc82a8a9336419a9f76;p=minix.git

release: by default leave src/.git

	. facilitates easy updates of installs
	. removal can be restored with release.sh -m
---

diff --git a/tools/release.sh b/tools/release.sh
index 74905cd59..c01b5eed7 100755
--- a/tools/release.sh
+++ b/tools/release.sh
@@ -205,7 +205,9 @@ then
 	else	REVTAG=`(cd $srcdir && git show-ref HEAD -s10)`
 		echo "Retrieved repository head is $REVTAG."
 	fi
-	rm -r $srcdir/.git
+	if [ $MINIMAL -ne 0 ]
+	then	rm -r $srcdir/.git
+	fi
 	echo "
 /* Added by release script  */
 #ifndef _VCS_REVISION