From: Frederic Suter <frederic.suter@cc.in2p3.fr>
Date: Thu, 26 Mar 2020 11:19:45 +0000 (+0100)
Subject: fix coverage build (disable liveness-visited)
X-Git-Tag: v3.26~700
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/83573bc538d218b4e69d2827f5ecf8ccd5e34dce

fix coverage build (disable liveness-visited)
---

diff --git a/examples/s4u/CMakeLists.txt b/examples/s4u/CMakeLists.txt
index ad55c93cac..fb66719917 100644
--- 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