Merge branch 'master' of ssh://hummus/home/git/pub/git-tools

[git-tools-moved-to-github.git] / id-release

diff --git a/id-release b/id-release
index 02d1d80..22035f8 100755 (executable)
--- 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
 #