Fix another script.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9248 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/buildtools/pipol/Experimental_all_simgrid_gt.sh b/buildtools/pipol/Experimental_all_simgrid_gt.sh
index d0b02b5..c5a141b 100644 (file)
--- a/buildtools/pipol/Experimental_all_simgrid_gt.sh
+++ b/buildtools/pipol/Experimental_all_simgrid_gt.sh
@@ -73,6 +73,7 @@ cmake -Denable_lua=on \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=off \
 -Denable_supernovae=off \
+-Denable_coverage=on \
 -Denable_smpi=on .
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
@@ -143,6 +144,7 @@ if [ $SYSTEM = Linux ] ; then
                -Denable_gtnets=on \
                -Dgtnets_path=$userhome/usr \
                -Denable_java=on \
+               -Denable_coverage=off \
                -Denable_smpi=on .
                ctest -D ExperimentalStart
                ctest -D ExperimentalConfigure