fix the log hierarchy extraction wrt mc_main, that is not in libsimgrid

diff --git a/src/xbt/log.c b/src/xbt/log.c
index 28e2506..1b9fd48 100644 (file)
--- a/src/xbt/log.c
+++ b/src/xbt/log.c
@@ -643,8 +643,6 @@ static void xbt_log_connect_categories(void)
   XBT_LOG_CONNECT(mc_ignore);
   XBT_LOG_CONNECT(mcer_ignore);
   XBT_LOG_CONNECT(mc_liveness);
-  // This one is not in libsimgrid:
-  // XBT_LOG_CONNECT(mc_main);
   XBT_LOG_CONNECT(mc_memory);
   XBT_LOG_CONNECT(mc_memory_map);
   XBT_LOG_CONNECT(mc_page_snapshot);

diff --git a/tools/doxygen/xbt_log_extract_hierarchy.pl b/tools/doxygen/xbt_log_extract_hierarchy.pl
index d9a85f5..40f60ee 100755 (executable)
--- a/tools/doxygen/xbt_log_extract_hierarchy.pl
+++ b/tools/doxygen/xbt_log_extract_hierarchy.pl
@@ -118,7 +118,9 @@ sub display_subtree {
 display_subtree("XBT_LOG_ROOT_CAT","");
 
 map {
-    warn "Category $_ does not seem to be connected.  Use XBT_LOG_CONNECT($_).\n";
+    if ($_ ne "mc_main") { # This one is not in libsimgrid
+      warn "Category $_ does not seem to be connected.  Use XBT_LOG_CONNECT($_).\n";
+    }
 } grep {!defined $connected{$_}} sort keys %ancestor;
 map {
     warn "Category $_ does not seem to be connected to the root (anc=$ancestor{$_})\n";