Fix code coverage on script.

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

diff --git a/buildtools/pipol/Nightly_simgrid.sh b/buildtools/pipol/Nightly_simgrid.sh
index d91dc60..a426d58 100644 (file)
--- a/buildtools/pipol/Nightly_simgrid.sh
+++ b/buildtools/pipol/Nightly_simgrid.sh
@@ -112,6 +112,7 @@ cmake -Denable_lua=on \
 -Denable_compile_optimizations=off \
 -Denable_compile_warnings=off \
 -Denable_supernovae=off \
+-Denable_coverage=on \
 -Denable_smpi=on .
 ctest -D NightlyStart
 ctest -D NightlyConfigure
@@ -182,6 +183,7 @@ if [ $SYSTEM = Linux ] ; then
                -Denable_gtnets=on \
                -Denable_java=on \
                -Dgtnets_path=$userhome/usr \
+               -Denable_coverage=off \
                -Denable_smpi=on .
                ctest -D NightlyStart
                ctest -D NightlyConfigure