Cosmetics.

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

diff --git a/buildtools/Cmake/Option.cmake b/buildtools/Cmake/Option.cmake
index 1b9da05..807a776 100644 (file)
--- a/buildtools/Cmake/Option.cmake
+++ b/buildtools/Cmake/Option.cmake
@@ -58,8 +58,8 @@ endif(enable_supernovae AND enable_model-checking)
 mark_as_advanced(PATH_PCRE_LIB)
 mark_as_advanced(HAVE_SSH)
 mark_as_advanced(HAVE_RSYNC)
-mark_as_advanced(enable_coverage)
-mark_as_advanced(enable_memcheck)
+#mark_as_advanced(enable_coverage)
+#mark_as_advanced(enable_memcheck)
 #mark_as_advanced(enable_print_message)
 mark_as_advanced(BIBTEX2HTML_PATH)
 mark_as_advanced(LUA_LIB_PATH_1)