fix coverage build (disable liveness-visited)

diff --git a/examples/s4u/CMakeLists.txt b/examples/s4u/CMakeLists.txt
index ad55c93..fb66719 100644 (file)
--- a/examples/s4u/CMakeLists.txt
+++ b/examples/s4u/CMakeLists.txt
@@ -150,9 +150,9 @@ if(SIMGRID_HAVE_MC)
     ENDIF()
   ENDIF()
 
-  if (enable_coverage)
-    SET_TESTS_PROPERTIES(mc-bugged1-liveness-visited-ucontext PROPERTIES RUN_SERIAL "TRUE")
-  endif()
+#  if (enable_coverage)
+#    SET_TESTS_PROPERTIES(mc-bugged1-liveness-visited-ucontext PROPERTIES RUN_SERIAL "TRUE")
+#  endif()
 ENDIF()
 
 # The tests the parallel variant of of DHTs