From 6de3f8385140c63290208208afa46adb0c359308 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <adegomme@gmail.com>
Date: Thu, 22 Nov 2018 14:42:40 +0100
Subject: [PATCH 1/1] -=

---
 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 01a363f800..916284189c 100755
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -210,7 +210,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