Use TRAVIS_BRANCH if available

2015-08-25 14:52:31 +01:00
parent b3ca7430b0
commit 7fc9811975
1 changed files with 2 additions and 1 deletions
--- a/docs/src/main/asciidoc/ghpages.sh
+++ b/docs/src/main/asciidoc/ghpages.sh
@@ -14,7 +14,8 @@ fi

 # Find name of current branch
 ###################################################################
-branch=`git rev-parse --abbrev-ref HEAD`
+branch=$TRAVIS_BRANCH
+[ "$branch" == "" ] && branch=`git rev-parse --abbrev-ref HEAD`
 target=.
 if [ "$branch" != "master" ]; then target=./$branch; mkdir -p $target; fi