From: Martin Quinson <martin.quinson@loria.fr>
Date: Sat, 25 Jul 2015 14:44:39 +0000 (+0200)
Subject: fix the log hierarchy extraction wrt mc_main, that is not in libsimgrid
X-Git-Tag: v3_12~397
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/b036ff36be581f3fae688237bd0663ca66931d0d?ds=inline

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 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";