From f92c9e52c26e690fde28ebf2a6db0df3ec7ea242 Mon Sep 17 00:00:00 2001
From: Bruce Potter <bp@us.ibm.com>
Date: Tue, 27 Aug 2013 12:36:11 -0400
Subject: [PATCH] change git cmd used to get current branch

---
 buildcore.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/buildcore.sh b/buildcore.sh
index 7bf3f9c47..c6275c9c0 100755
--- a/buildcore.sh
+++ b/buildcore.sh
@@ -73,7 +73,8 @@ fi
 # for the git case, query the current branch and set REL (changing master to devel if necessary)
 function setbranch {
 	#git checkout $BRANCH
-	REL=`git rev-parse --abbrev-ref HEAD`
+	#REL=`git rev-parse --abbrev-ref HEAD`
+	REL='git name-rev --name-only HEAD'
 	if [ "$REL" = "master" ]; then
 		REL="devel"
 	fi