X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/40a6b57b33ba92df9a10600b8d6fa10fff80c9d2..f73207bc6fb69bcabd1f1b0482f8579e087a7a98:/buildtools/jenkins/build.sh diff --git a/buildtools/jenkins/build.sh b/buildtools/jenkins/build.sh index 61f8acd6f4..a853ee38b7 100755 --- a/buildtools/jenkins/build.sh +++ b/buildtools/jenkins/build.sh @@ -1,5 +1,10 @@ #!/bin/sh +# This script is used by various build projects on Jenkins + +# See https://ci.inria.fr/simgrid/job/SimGrid-Multi/configure +# See https://ci.inria.fr/simgrid/job/Simgrid-Windows/configure + set -e # usage: die status message...