only install when branch is master (avoid installing PRs)

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 951e744..01a363f 100755 (executable)
--- a/tools/jenkins/build.sh
+++ b/tools/jenkins/build.sh
@@ -210,7 +210,7 @@ if [ -f Testing/TAG ] ; then
    mv CTestResults.xml $WORKSPACE
 fi
 
    mv CTestResults.xml $WORKSPACE
 fi
 

-if test -n "$INSTALL"; 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"
   echo "XX"
   echo "XX Test done. Install everything since it's a regular build, not on a Windows."
   echo "XX"