From 526e094c142ad15d369e01bc330e2d4fd8e62723 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@gmail.com>
Date: Thu, 22 Nov 2018 15:24:02 +0100
Subject: [PATCH] yet another attempt at a trivial thing.

---
 tools/jenkins/build.sh | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 916284189c..b19a0555cc 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -125,6 +125,13 @@ case "$build_mode" in
   ;;
 esac
 
+if [ "$2" = "" ]; then
+  branch_name="unknown"
+else
+  branch_name="$2"
+fi
+echo "Branch built is $branch_name"
+
 NUMBER_OF_PROCESSORS="$(nproc)" || NUMBER_OF_PROCESSORS=1
 GENERATOR="Unix Makefiles"
 
@@ -210,7 +217,7 @@ if [ -f Testing/TAG ] ; then
    mv CTestResults.xml $WORKSPACE
 fi
 
-if test -n "$INSTALL" && [ ${BRANCH_NAME} = "master" ] ; then
+if test -n "$INSTALL" && [ ${branch_name} = "master" ] ; then
   echo "XX"
   echo "XX Test done. Install everything since it's a regular build, not on a Windows."
   echo "XX"
-- 
2.20.1