From 6f51212335bdb67565022664a4b92e38a125f6c7 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 1 Dec 2017 10:57:17 +0100 Subject: [PATCH] jenkins: enable compile optimizations for MC builds. --- tools/jenkins/build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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") \ -- 2.20.1