X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a17dc03c319ff99d276cf526d5bed1d9ddf2f030..4a8bc21517c2e7759a0036d879338f84ed6bf56e:/tools/cmake/CTestConfig.cmake

diff --git a/tools/cmake/CTestConfig.cmake b/tools/cmake/CTestConfig.cmake
index c9ebad217f..3b87fa919a 100644
--- a/tools/cmake/CTestConfig.cmake
+++ b/tools/cmake/CTestConfig.cmake
@@ -11,7 +11,7 @@ else()
 endif()
 
 if(NOT enable_memcheck)
-  set(DART_TESTING_TIMEOUT "300") #TIMEOUT FOR EACH TEST
+  set(DART_TESTING_TIMEOUT "500") #TIMEOUT FOR EACH TEST
 else()
   set(DART_TESTING_TIMEOUT "3000") #TIMEOUT FOR EACH TEST
 endif()
@@ -20,7 +20,7 @@ if(enable_compile_warnings AND enable_compile_optimizations)
   SET(BUILDNAME "FULL_FLAGS" CACHE INTERNAL "Buildname" FORCE)
 endif()
 
-if(HAVE_MC)
+if(SIMGRID_HAVE_MC)
   SET(BUILDNAME "MODEL-CHECKING" CACHE INTERNAL "Buildname" FORCE)
 endif()
 
@@ -40,7 +40,7 @@ SET(CTEST_CUSTOM_MAXIMUM_PASSED_TEST_OUTPUT_SIZE "3000000")
 
 set(PATTERN_CTEST_IGNORED "")
 if(enable_coverage)
-    set(PATTERN_CTEST_IGNORED 
+    set(PATTERN_CTEST_IGNORED
       "/tools/"
       "/buildtools/"
       "/include/"
@@ -48,7 +48,7 @@ if(enable_coverage)
       "/src/bindings/"
     )
     if(NOT release)
-       set(PATTERN_CTEST_IGNORED 
+       set(PATTERN_CTEST_IGNORED
         ${PATTERN_CTEST_IGNORED}
         "/examples/"
         )