From: navarrop <navarrop@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Date: Wed, 15 Dec 2010 13:54:09 +0000 (+0000)
Subject: Fix another script.
X-Git-Tag: v3.6_beta2~675
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/54d499c29a89a5f913cca4988668e2410918e527?ds=sidebyside

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 d0b02b5302..c5a141bf2c 100644
--- 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