From 82be869daaeebdc214422dc16ad61ba6380b0206 Mon Sep 17 00:00:00 2001 From: Lucas Schnorr Date: Thu, 28 Apr 2011 16:15:19 +0200 Subject: [PATCH] [trace] smpi grouped trace implies user wants to trace smpi as a whole --- src/instr/instr_config.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c index 45e7aaf0ce..3e6ed76826 100644 --- a/src/instr/instr_config.c +++ b/src/instr/instr_config.c @@ -150,7 +150,9 @@ int TRACE_is_configured(void) int TRACE_smpi_is_enabled(void) { - return trace_smpi_enabled && TRACE_is_enabled(); + return (xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI) || + TRACE_smpi_is_grouped())&& + TRACE_is_enabled(); } int TRACE_smpi_is_grouped(void) -- 2.20.1