X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/234ae403478cdecaa20912b4d549bc50919ccda9..7ebe3f9caa1ea5b7aed6ba2f6f7b86d816012ead:/buildtools/pipol/Experimental_all_simgrid_gt.sh

diff --git a/buildtools/pipol/Experimental_all_simgrid_gt.sh b/buildtools/pipol/Experimental_all_simgrid_gt.sh
index 89eb9f0145..88d4bf36eb 100644
--- a/buildtools/pipol/Experimental_all_simgrid_gt.sh
+++ b/buildtools/pipol/Experimental_all_simgrid_gt.sh
@@ -18,12 +18,11 @@ svn checkout svn://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk simgrid-trunk -
 cd simgrid-trunk
 
 #Make the ucontext mode
-cmake -Dwith_context=ucontext -Denable_coverage=on ./
+cmake -Dwith_context=ucontext ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
@@ -33,22 +32,20 @@ ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
 #Make the tracing mode
-cmake -Dwith_context=auto -Denable_tracing=on ./
+cmake -Dwith_context=auto -Denable_tracing=on./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
 #Make the model-checking mode
-cmake -Denable_model-checking=on ./
+cmake -Denable_model-checking=on -Denable_coverage=on ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
@@ -58,12 +55,11 @@ ctest -D ExperimentalSubmit
 make clean
 
 #Make the full flags mode
-cmake -Denable_model-checking=off -Denable_tracing=off -Denable_compile_warnings=on -Denable_compile_optimizations=on -Denable_lua=off -Denable_java=off -Denable_ruby=off ./
+cmake -Denable_model-checking=off -Denable_coverage=off -Denable_tracing=off -Denable_compile_warnings=on -Denable_compile_optimizations=on -Denable_lua=off -Denable_java=off -Denable_ruby=off ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
@@ -73,7 +69,6 @@ ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild
 ctest -D ExperimentalTest
-ctest -D ExperimentalCoverage
 ctest -D ExperimentalSubmit
 make clean
 
@@ -134,14 +129,13 @@ if [ $SYSTEM = Linux ] ; then
 		ctest -D ExperimentalConfigure
 		ctest -D ExperimentalBuild
 		ctest -D ExperimentalTest
-		ctest -D ExperimentalCoverage
 		ctest -D ExperimentalSubmit
 		make clean
 	fi
 fi
 
 #Make the memcheck mode
-cmake -Denable_gtnets=off ./
+cmake -Denable_gtnets=off -Denable_memcheck=on ./
 ctest -D ExperimentalStart
 ctest -D ExperimentalConfigure
 ctest -D ExperimentalBuild