Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Exit with a special exit code on failure in the last stage.
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 2 Sep 2019 10:08:58 +0000 (12:08 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Mon, 2 Sep 2019 10:08:58 +0000 (12:08 +0200)
commit9a26840d5c76893c3b805b17c62079aeded90fc9
tree88e7d4d7fe6e44e969172fd34f659daa5994c7ee
parentd5717bef93bef278a5b27276b1fc59f12ddc2b12
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".
tools/jenkins/Coverage.sh