Use git command to get branch name (#1750)

HDFGroup · May 7, 2022 · 555e79d · 555e79d
1 parent 0aa9856
commit 555e79d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/bin/bbrelease b/bin/bbrelease
@@ -239,7 +239,7 @@ if [ X$revmode = Xyes ]; then
     # Copy old version of config/lt_vers.am, since it's hard to
     # "undo" changes to it.
     cp config/lt_vers.am $tmpdir
-    branch=`git branch | grep '*' | awk '{print $NF}'`
+    branch=`git symbolic-ref -q --short HEAD`
     revision=`git rev-parse --short HEAD`
     # Set version information to m.n.r-r$revision.
     # (h5vers does not correctly handle just m.n.r-$today.)