X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/1fd18693110400378658b5b1c652e4aea3a983a6..1d83152923e6cdedca3b28400f0582c9fb9c5419:/tools/jenkins/build.sh diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index 0873ca636a..bf88895307 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -126,7 +126,6 @@ echo "XX Configure and build SimGrid" echo "XX pwd: "$(pwd) echo "XX" set -x -export SIMGRID_INSTALL_PATH=/builds/simgrid_install cmake -G"$GENERATOR"\ -DCMAKE_INSTALL_PREFIX=/builds/simgrid_install \ -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \