From f3ed7eac89c523cf2e5e8f450cc3af0869114d98 Mon Sep 17 00:00:00 2001
From: legrand <legrand@331e1502-861f-0410-8da2-ba01fb791d7f>
Date: Fri, 7 Mar 2008 14:04:22 +0000
Subject: [PATCH] added coverage tests

git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1100 331e1502-861f-0410-8da2-ba01fb791d7f
---
 trunk/installParadiseo.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trunk/installParadiseo.sh b/trunk/installParadiseo.sh
index 73b47ea5e..66b4e13d7 100755
--- a/trunk/installParadiseo.sh
+++ b/trunk/installParadiseo.sh
@@ -1055,7 +1055,7 @@ do
    then
       BUILD_TYPE=Debug
       OPTIONNAL_CMAKE_FLAGS='-DENABLE_CMAKE_TESTING=TRUE'
-      CTEST_CONFIG="$CTEST_CONFIG -D ExperimentalTest -D ExperimentalMemCheck"
+      CTEST_CONFIG="$CTEST_CONFIG -D ExperimentalTest -D ExperimentalCoverage -D ExperimentalMemCheck"
   fi
   if [ "${i%=*}" = "--skipdart" ]
    then