From 13edff6c047314c5ed06919d9d373e8036bfa2fd Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@gmail.com>
Date: Thu, 22 Nov 2018 15:46:19 +0100
Subject: [PATCH] hopefully last one

---
 tools/jenkins/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index b19a0555cc..59bbf3ac22 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -217,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} = "origin/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