Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Jenkins: don't fail when Java/no MSG
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 Jan 2020 22:12:01 +0000 (23:12 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 30 Jan 2020 22:12:01 +0000 (23:12 +0100)
tools/jenkins/Flags.sh

index 352db71..9d35d4a 100755 (executable)
@@ -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}"