fix: avoiding the execution of TRACE_surf_action when tracing is disabled

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8391 48e7efb5-ca39-0410-a469-dd3cf9ba447f

diff --git a/src/instr/surf_instr.c b/src/instr/surf_instr.c
index d1709a6..0d582df 100644 (file)
--- a/src/instr/surf_instr.c
+++ b/src/instr/surf_instr.c
@@ -234,6 +234,7 @@ int TRACE_surf_link_is_traced (void *link)
 
 void TRACE_surf_action (surf_action_t surf_action, const char *category)
 {
+  if (!IS_TRACING) return;
   if (!IS_TRACING_PLATFORM) return;
   if (!category){
     xbt_die ("invalid tracing category");