Implement reentrant mutexes in xbt_os_thread

[simgrid.git] / src / xbt / config.c

diff --git a/src/xbt/config.c b/src/xbt/config.c
index b71e69c..f5fd93c 100644 (file)
--- a/src/xbt/config.c
+++ b/src/xbt/config.c
@@ -663,7 +663,7 @@ void xbt_cfg_set_parse(xbt_cfg_t cfg, const char *options)
                xbt_die("Setting CMD prop coordinates must be \"yes\"");
     }
 
-    if (strcmp(name,"contexts/factory"))
+    if (strncmp(name, "contexts/", strlen("contexts/")))
       XBT_INFO("Configuration change: Set '%s' to '%s'", name, val);
 
     TRY {