change git cmd used to get current branch
This commit is contained in:
parent
9c0032b3c1
commit
e313b49839
@ -88,7 +88,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
|
||||
|
Loading…
Reference in New Issue
Block a user