Memcheck mode.

[simgrid.git] / buildtools / Cmake / CTestConfig.cmake

diff --git a/buildtools/Cmake/CTestConfig.cmake b/buildtools/Cmake/CTestConfig.cmake
index 0a67c37..062f187 100644 (file)
--- a/buildtools/Cmake/CTestConfig.cmake
+++ b/buildtools/Cmake/CTestConfig.cmake
@@ -27,10 +27,18 @@ if(HAVE_TRACING)
        SET(BUILDNAME "TRACING" CACHE TYPE INTERNAL FORCE)
 endif(HAVE_TRACING)
 
+if(HAVE_MC)
+       SET(BUILDNAME "MODEL-CHECKING" CACHE TYPE INTERNAL FORCE)
+endif(HAVE_MC)
+
 if(enable_memcheck)
        SET(BUILDNAME "MEMCHECK" CACHE TYPE INTERNAL FORCE)
 endif(enable_memcheck)
 
+if(WIN32)
+       SET(BUILDNAME "WINDOWS" CACHE TYPE INTERNAL FORCE)
+endif(WIN32)
+
 set(osname ${CMAKE_SYSTEM_NAME})
 set(cpu ${CMAKE_SYSTEM_PROCESSOR})
 set(DISTRIB2 ${CMAKE_SYSTEM_VERSION})