[trace] msg process and tasks tracing also needs platform

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
index de6321c..a82ba46 100644 (file)
--- a/src/instr/instr_config.c
+++ b/src/instr/instr_config.c
@@ -130,7 +130,9 @@ int TRACE_is_active (void)
 
 int TRACE_needs_platform (void)
 {
-  return TRACE_categorized() ||
+  return TRACE_msg_process_is_enabled() ||
+         TRACE_msg_task_is_enabled() ||
+         TRACE_categorized() ||
          TRACE_uncategorized() ||
          (TRACE_smpi_is_enabled() && TRACE_smpi_is_grouped());
 }