detecting if TRACE_start was called too soon (before TRACE_global_init)

[simgrid.git] / src / instr / private.h

diff --git a/src/instr/private.h b/src/instr/private.h
index 89b16ee..61c9d38 100644 (file)
--- a/src/instr/private.h
+++ b/src/instr/private.h
@@ -130,6 +130,7 @@ int TRACE_surf_gtnets_get_dst (void *action);
 void TRACE_surf_gtnets_destroy (void *action);
 
 /* from instr_config.c */
 void TRACE_surf_gtnets_destroy (void *action);
 
 /* from instr_config.c */

+int _TRACE_configured (void);

 int _TRACE_smpi_enabled (void);
 int _TRACE_platform_enabled (void);
 int _TRACE_msg_task_enabled (void);
 int _TRACE_smpi_enabled (void);
 int _TRACE_platform_enabled (void);
 int _TRACE_msg_task_enabled (void);