X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/cdf6a962eb4e88efbed3df9c41343adabcf09e6c..6f6bfc3b15c87167d99f97ff96388a79cc50031d:/tools/cmake/CTestConfig.cmake

diff --git a/tools/cmake/CTestConfig.cmake b/tools/cmake/CTestConfig.cmake
index 0debf7c1ed..5ef4600bd1 100644
--- a/tools/cmake/CTestConfig.cmake
+++ b/tools/cmake/CTestConfig.cmake
@@ -5,9 +5,6 @@ if(APPLE)
   SET(BUILDNAME "APPLE" CACHE INTERNAL "Buildname" FORCE)
 else()
   SET(BUILDNAME "UNIX" CACHE INTERNAL "Buildname" FORCE)
-  if(WIN32)
-    SET(BUILDNAME "WINDOWS" CACHE INTERNAL "Buildname" FORCE)
-  endif()
 endif()
 
 if(NOT enable_memcheck)
@@ -20,7 +17,7 @@ if(enable_compile_warnings AND enable_compile_optimizations)
   SET(BUILDNAME "FULL_FLAGS" CACHE INTERNAL "Buildname" FORCE)
 endif()
 
-if(SIMGRID_HAVE_MC)
+if(SIMGRID_HAVE_STATEFUL_MC)
   SET(BUILDNAME "MODEL-CHECKING" CACHE INTERNAL "Buildname" FORCE)
 endif()