From: Augustin Degomme <adegomme@gmail.com>
Date: Thu, 22 Nov 2018 12:17:12 +0000 (+0100)
Subject: only install when branch is master (avoid installing PRs)
X-Git-Tag: v3_22~787
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c494dcc4818fa966123d0d168d34f2bac9357ab6

only install when branch is master (avoid installing PRs)
---

diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh
index 951e7440c2..01a363f800 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"; 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"