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

diff --git a/tools/cmake/CTestConfig.cmake b/tools/cmake/CTestConfig.cmake
index 54a297c4bb..0debf7c1ed 100644
--- a/tools/cmake/CTestConfig.cmake
+++ b/tools/cmake/CTestConfig.cmake
@@ -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,19 +40,14 @@ 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/"
       "/teshsuite/"
       "/src/bindings/"
+      "/examples/"
     )
-    if(NOT release)
-       set(PATTERN_CTEST_IGNORED 
-        ${PATTERN_CTEST_IGNORED}
-        "/examples/"
-        )
-    endif()
 endif()
 
 CONFIGURE_FILE(${CMAKE_HOME_DIRECTORY}/tools/cmake/CTestCustom.cmake ${CMAKE_BINARY_DIR}/CTestCustom.cmake @ONLY)