From 2eef51f85212214302326508352271ca96de05eb Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 13 Jun 2013 12:30:47 +0200 Subject: [PATCH] disable optimizations for build MC in jenkins --- buildtools/jenkins/run.sh | 4 ++-- buildtools/jenkins/runmingw.sh | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh index 5558ac8e9b..fe5a509b1e 100644 --- a/buildtools/jenkins/run.sh +++ b/buildtools/jenkins/run.sh @@ -22,7 +22,7 @@ fi if [ "$build_mode" = "ModelChecker" ] then -cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON . +cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON . fi if [ "$build_mode" = "DynamicAnalysis" ] @@ -47,7 +47,7 @@ fi if [ "$build_mode" = "ModelChecker" ] then -cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=ON -Denable_compile_warnings=ON . +cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON . fi if [ "$build_mode" = "DynamicAnalysis" ] diff --git a/buildtools/jenkins/runmingw.sh b/buildtools/jenkins/runmingw.sh index b813165a91..dc901e89f5 100644 --- a/buildtools/jenkins/runmingw.sh +++ b/buildtools/jenkins/runmingw.sh @@ -16,7 +16,7 @@ fi if [ "$build_mode" = "ModelChecker" ] then -cmake -G "MSYS Makefiles" -Denable_model-checking=ON .. +cmake -G "MSYS Makefiles" -Denable_model-checking=ON -Denable_compile_optimizations=OFF .. fi make -- 2.20.1