X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/77bbf3027c4240a2e833209a3a3f186589da8577..6f51212335bdb67565022664a4b92e38a125f6c7:/tools/jenkins/build.sh diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index eaae78234c..70bd8207ec 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -123,7 +123,7 @@ cmake -G"$GENERATOR"\ -Denable_debug=ON -Denable_documentation=OFF -Denable_coverage=OFF \ -Denable_model-checking=$(onoff test "$build_mode" = "ModelChecker") \ -Denable_smpi_ISP_testsuite=$(onoff test "$build_mode" = "ModelChecker") \ - -Denable_compile_optimizations=$(onoff test "$build_mode" = "Debug") \ + -Denable_compile_optimizations=$(onoff test "$build_mode" != "DynamicAnalysis") \ -Denable_smpi_MPICH3_testsuite=$(onoff test "$build_mode" != "DynamicAnalysis") \ -Denable_mallocators=$(onoff test "$build_mode" != "DynamicAnalysis") \ -Denable_memcheck=$(onoff test "$build_mode" = "DynamicAnalysis") \