From: Martin Quinson Date: Thu, 7 Jan 2016 23:17:12 +0000 (+0100) Subject: [jenkins] that was a bad idea X-Git-Tag: v3_13~1312 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1e5f87691284e531f07d9718d701d3e5fec595dc [jenkins] that was a bad idea --- diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index 0ad4f19996..55d24d0a5a 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -39,9 +39,10 @@ onoff() { fi } -# Check that we have what we need, or die quickly -test -e /bin/tar || die 1 "I need tar to compile. Please fix your slave." -test -e /bin/gzip || die 1 "I need gzip to compile. Please fix your slave." +# Check that we have what we need, or die quickly. +# The paths are not the same on all platforms, unfortunately. +#test -e /bin/tar || die 1 "I need tar to compile. Please fix your slave." +#test -e /bin/gzip || die 1 "I need gzip to compile. Please fix your slave." #test -e /usr/include/libunwind.h || die 1 "I need libunwind to compile. Please fix your slave." #test -e /usr/include/valgrind/valgrind.h || die 1 "I need valgrind to compile. Please fix your slave."