From: Augustin Degomme <degomme@idpann.imag.fr>
Date: Mon, 14 Oct 2013 19:15:44 +0000 (+0200)
Subject: win is not yet ready for coverage either
X-Git-Tag: v3_9_90~7
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/175a4ce74d440f21caa408473529cd83ce9d09f6?ds=sidebyside

win is not yet ready for coverage either
---

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" ]