Permalink
Browse files

Append the Git branch to the version string.

Approved by:	re (gjb)
  • Loading branch information...
1 parent 3839ce4 commit 0755e798aea32a683b6ee74dfd2b6ec32d4f8954 @rpaulo rpaulo committed Oct 3, 2013
Showing with 4 additions and 0 deletions.
  1. +4 −0 sys/conf/newvers.sh
View
@@ -159,6 +159,10 @@ if [ -n "$git_cmd" ] ; then
git=" ${git}"
fi
fi
+ git_b=`$git_cmd rev-parse --abbrev-ref HEAD`
+ if [ -n "$git_b" ] ; then
+ git="${git}(${git_b})"
+ fi
if $git_cmd --work-tree=${SYSDIR}/.. diff-index \
--name-only HEAD | read dummy; then
git="${git}-dirty"

0 comments on commit 0755e79

Please sign in to comment.