From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Mon, 2 Sep 2019 10:08:58 +0000 (+0200)
Subject: Exit with a special exit code on failure in the last stage.
X-Git-Tag: v3.24~115
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9a26840d5c76893c3b805b17c62079aeded90fc9

Exit with a special exit code on failure in the last stage.

This can be used in jenkins to mark the build "unstable" instead of "failed".
---

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index c9bb23bdae..ae1f81bcba 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -116,4 +116,4 @@ if [ -f Testing/TAG ] ; then
      java -jar /home/ci/codacy-coverage-reporter-*-assembly.jar report -l C -f -r $BUILDFOLDER/xml_coverage.xml
      java -jar /home/ci/codacy-coverage-reporter-*-assembly.jar report -l CPP -f -r $BUILDFOLDER/xml_coverage.xml
    fi
-fi
+fi || exit 42