From b036ff36be581f3fae688237bd0663ca66931d0d Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 25 Jul 2015 16:44:39 +0200
Subject: [PATCH] fix the log hierarchy extraction wrt mc_main, that is not in
 libsimgrid

---
 src/xbt/log.c                              | 2 --
 tools/doxygen/xbt_log_extract_hierarchy.pl | 4 +++-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/xbt/log.c b/src/xbt/log.c
index 28e25061b7..1b9fd48ce9 100644
--- 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 d9a85f58a9..40f60ee650 100755
--- 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";
-- 
2.20.1