From 175a4ce74d440f21caa408473529cd83ce9d09f6 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Mon, 14 Oct 2013 21:15:44 +0200 Subject: [PATCH] win is not yet ready for coverage either --- buildtools/jenkins/run.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/buildtools/jenkins/run.sh b/buildtools/jenkins/run.sh index c20bdc747a..a09b951f20 100755 --- a/buildtools/jenkins/run.sh +++ b/buildtools/jenkins/run.sh @@ -29,12 +29,12 @@ then if [ "$build_mode" = "Debug" ] then - cmake -G "MSYS Makefiles" -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=OFF . + cmake -G "MSYS Makefiles" -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=OFF -Denable_compile_optimizations=ON -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=OFF . fi if [ "$build_mode" = "ModelChecker" ] then - cmake -G "MSYS Makefiles" -Denable_coverage=ON -Denable_java=ON -Denable_smpi=ON -Denable_model-checking=ON -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_compile_warnings=OFF . + cmake -G "MSYS Makefiles" -Denable_java=ON -Denable_smpi=ON -Denable_model-checking=ON -Denable_lua=OFF -Denable_compile_optimizations=OFF -Denable_compile_warnings=OFF . fi if [ "$build_mode" = "DynamicAnalysis" ] -- 2.20.1