Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
coverage + modelchecker were behaving very badly (timeout for every test) on continuo...
authorAugustin Degomme <degomme@idpann.imag.fr>
Mon, 13 Jan 2014 17:18:14 +0000 (18:18 +0100)
committerAugustin Degomme <degomme@idpann.imag.fr>
Mon, 13 Jan 2014 17:18:14 +0000 (18:18 +0100)
buildtools/jenkins/run.sh

index 52e6752..1d1ad6c 100755 (executable)
@@ -55,12 +55,12 @@ else
 
     if [ "$build_mode" = "Debug" ]
     then
-    cmake -Denable_coverage=ON -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=ON  -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
+    cmake -Denable_coverage=OFF -Denable_java=ON -Denable_model-checking=OFF -Denable_lua=ON -Denable_compile_optimizations=ON  -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_compile_warnings=ON .
     fi
 
     if [ "$build_mode" = "ModelChecker" ]
     then
-    cmake -Denable_coverage=ON -Denable_java=ON -Denable_smpi=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
+    cmake -Denable_coverage=OFF -Denable_java=ON -Denable_smpi=ON -Denable_model-checking=ON -Denable_lua=ON -Denable_compile_optimizations=OFF -Denable_compile_warnings=ON .
     fi
 
     if [ "$build_mode" = "DynamicAnalysis" ]