cli.git: Better branch names maybe.

[factor.git] / build.sh

diff --git a/build.sh b/build.sh
index 7b1c5632da5cc06c95947c10c1a09e01560d6cd2..97a4a719ea766fee64c230b6028508509471254d 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -590,10 +590,10 @@ set_boot_image_vars() {
 }
 
 set_current_branch() {
-    if [ -z ${TRAVIS_BRANCH} ]; then
-        CURRENT_BRANCH=$(current_git_branch)
+    if [ -n "${CI_BRANCH}" ]; then
+        CURRENT_BRANCH="${CI_BRANCH}"
     else
-        CURRENT_BRANCH=${TRAVIS_BRANCH}
+        CURRENT_BRANCH=$(current_git_branch)
     fi
 }