create release tags as: version+number of commits

diff --git a/make-tag.sh b/make-tag.sh
index bc1367182dba4dcc4751340b60b906c34601dc29..82067ca6314a989b6c48552f2a46bed42487d7cb 100755 (executable)
--- a/make-tag.sh
+++ b/make-tag.sh
@@ -2,7 +2,14 @@
 set -e
 rev=$(git rev-parse HEAD)
 
-tag="$1"
+if [ -n "$1" ]; then
+       tag="$1"
+else
+       ifs=$IFS; IFS=-
+       set -- $(git describe --tags)
+       IFS=$ifs
+       tag=$(($1 + $2))
+fi
 
 echo "Making tag: $tag at revision $rev"
 echo ""
@@ -10,4 +17,10 @@ echo "Press ENTER to continue..."
 read a
 
 git tag -a "$tag" $rev
-git push origin "refs/tags/$tag"
+
+cat <<EOF
+
+To push tag, execute:
+
+  git push origin "refs/tags/$tag"
+EOF