Add tag when bumping version

diff --git a/bump_version b/bump_version
index 399890c505e9b25664941f460428ad98122c93c5..85eee35711ce11c10efa91e3e444d039a3a834ce 100755 (executable)
--- a/bump_version
+++ b/bump_version
@@ -22,7 +22,9 @@
 
 commit_version() {
   git add src/$1/VERSION
-  git commit -m "Bump version number to $(cat src/$1/VERSION)"
+  vnum=$(cat src/$1/VERSION)
+  git commit -m "Bump version number to ${vnum}"
+  git tag -a v${vnum} -m "Version v${vnum}"
 }
 
 update_version() {