From 4fa5a3ae2d26663ebc81ab0d6fbe9dcf57174c50 Mon Sep 17 00:00:00 2001
From: Wolfram Schneider <wosch@indexdata.dk>
Date: Thu, 10 Sep 2015 09:20:52 +0000
Subject: [PATCH] display a bold warning if building a release not on the
 master branch

---
 id-release |   11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/id-release b/id-release
index 02d1d80..22035f8 100755
--- a/id-release
+++ b/id-release
@@ -16,12 +16,23 @@ usage () {
     exit 1
 }
 
+branch_check () {
+    if ! git branch | egrep -q '^\* master$'; then
+	( echo ">>> Warning: you are not running on the master branch <<<"
+	  git branch; echo ) 1>&2
+    fi
+}
+
 ######################################################################
+branch_check
+
 case $1 in
   [0-9]* ) version=$1 ;;
        * ) usage ;;
 esac
 
+
+
 cat <<EOF
 #!/bin/sh
 #
-- 
1.7.10.4