projects
/
git-tools-moved-to-github.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
781f7fe
)
display a bold warning if building a release not on the master branch
author
Wolfram Schneider
<wosch@indexdata.dk>
Thu, 10 Sep 2015 09:20:52 +0000
(09:20 +0000)
committer
Wolfram Schneider
<wosch@indexdata.dk>
Thu, 10 Sep 2015 09:20:52 +0000
(09:20 +0000)
id-release
patch
|
blob
|
history
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
#