From c494dcc4818fa966123d0d168d34f2bac9357ab6 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Thu, 22 Nov 2018 13:17:12 +0100 Subject: [PATCH] only install when branch is master (avoid installing PRs) --- 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 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" -- 2.20.1