model-checker : fix tesh (different local deployment file)

[simgrid.git] / src / instr / instr_config.c

diff --git a/src/instr/instr_config.c b/src/instr/instr_config.c
index 3737cf7e7bd67d7afb5a281e04b2fcccb4132184..daf03e961dac8d5526ea1796363f07e87e9bff6e 100644 (file)
--- a/src/instr/instr_config.c
+++ b/src/instr/instr_config.c
@@ -71,7 +71,7 @@ static void TRACE_getopts(void)
   trace_basic = xbt_cfg_get_int(_sg_cfg_set, OPT_TRACING_BASIC);
 }
 
   trace_basic = xbt_cfg_get_int(_sg_cfg_set, OPT_TRACING_BASIC);
 }
 

-xbt_dynar_t TRACE_start_functions = NULL;
+static xbt_dynar_t TRACE_start_functions = NULL;

 void TRACE_add_start_function(void (*func) ())
 {
   if (TRACE_start_functions == NULL)
 void TRACE_add_start_function(void (*func) ())
 {
   if (TRACE_start_functions == NULL)


@@ -118,7 +118,7 @@ int TRACE_start()
   return 0;
 }
 
   return 0;
 }
 

-xbt_dynar_t TRACE_end_functions = NULL;
+static xbt_dynar_t TRACE_end_functions = NULL;

 void TRACE_add_end_function(void (*func) (void))
 {
   if (TRACE_end_functions == NULL)
 void TRACE_add_end_function(void (*func) (void))
 {
   if (TRACE_end_functions == NULL)