Revert "try to help netbsd compiling the unit_tmgr test, which seems to have some...

[simgrid.git] / tools / cmake / CTestConfig.cmake

diff --git a/tools/cmake/CTestConfig.cmake b/tools/cmake/CTestConfig.cmake
index c9ebad2..42b8753 100644 (file)
--- 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()