From 60ddde722f5e2486ce0478c32ba35118bb9d186d Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 21 Feb 2012 18:52:17 +0100 Subject: [PATCH] [tracing] Use trace_smpi_enabled. --- src/instr/instr_config.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c index d987722eff..2770759487 100644 --- a/src/instr/instr_config.c +++ b/src/instr/instr_config.c @@ -150,9 +150,8 @@ int TRACE_is_configured(void) int TRACE_smpi_is_enabled(void) { - return (xbt_cfg_get_int(_surf_cfg_set, OPT_TRACING_SMPI) || - TRACE_smpi_is_grouped())&& - TRACE_is_enabled(); + return (trace_smpi_enabled || TRACE_smpi_is_grouped()) + && TRACE_is_enabled(); } int TRACE_smpi_is_grouped(void) -- 2.20.1