From f438984b5defa97e49b2cf0813f4c609f35cf21f Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Thu, 30 Jan 2020 23:12:01 +0100
Subject: [PATCH] Jenkins: don't fail when Java/no MSG

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

diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh
index 352db7156e..9d35d4afe8 100755
--- a/tools/jenkins/Flags.sh
+++ b/tools/jenkins/Flags.sh
@@ -82,7 +82,7 @@ fi
 if [ $buildmsg = "OFF" -a $buildjava = "ON" ] 
 then
   echo "Don't even try to build Java without MSG"
-  exit 1
+  exit 0
 fi
 
 echo "Step ${STEP}/${NSTEPS} - Building with java=${buildjava}, debug=${builddebug}, SMPI=${buildsmpi}, MC=${buildmc}, MSG=${buildmsg}"
-- 
2.20.1