Makefile.src.in
changeset 6818 5d01c864837c
parent 6812 a7000b1ba9d9
child 6918 43b7ded86b20
--- a/Makefile.src.in	Thu Jun 07 12:37:48 2007 +0000
+++ b/Makefile.src.in	Thu Jun 07 13:40:20 2007 +0000
@@ -100,7 +100,7 @@
 # Are we a git dir?
 ifeq ($(shell if test -d $(SRC_DIR)/../.git; then echo 1; fi), 1)
 # Find the revision like: rXXXXM
-REV := g$(shell if head=`git rev-parse --verify HEAD 2>/dev/null`; then echo "$$head" | cut -c1-8; fi)$(shell if git diff-index HEAD | read dummy; then echo M; fi)$(shell git branch|grep '*'|sed 's/\* /-/;s/^-master$$//')
+REV := g$(shell if head=`git rev-parse --verify HEAD 2>/dev/null`; then echo "$$head" | cut -c1-8; fi)$(shell if git diff-index HEAD | read dummy; then echo M; fi)$(shell git branch|grep '[*]'|sed 's/\* /-/;s/^-master$$//')
 endif
 endif
 endif