From: schnorr <Lucas.Schnorr@imag.fr>
Date: Wed, 13 Jun 2012 16:07:47 +0000 (+0200)
Subject: [trace] don't let mark the trace if platform is not traced
X-Git-Tag: v3_8~613
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5c7f683c8e7279895f963bfb41d82185b5a0e405

[trace] don't let mark the trace if platform is not traced
---

diff --git a/src/instr/instr_interface.c b/src/instr/instr_interface.c
index 713a0e9dfa..f1ff53908f 100644
--- a/src/instr/instr_interface.c
+++ b/src/instr/instr_interface.c
@@ -156,6 +156,9 @@ void TRACE_declare_mark(const char *mark_type)
   /* safe switch */
   if (!TRACE_is_enabled()) return;
 
+  /* if platform is not traced, we don't allow marks */
+  if (!TRACE_needs_platform()) return;
+
   if (!mark_type) return;
 
   //check if mark_type is already declared
@@ -190,6 +193,9 @@ void TRACE_mark(const char *mark_type, const char *mark_value)
   /* safe switch */
   if (!TRACE_is_enabled()) return;
 
+  /* if platform is not traced, we don't allow marks */
+  if (!TRACE_needs_platform()) return;
+
   if (!mark_type || !mark_value) return;
 
   //check if mark_type is already declared