-/* Copyright (c) 2010-2014. The SimGrid Team.
+/* Copyright (c) 2010-2015. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
-#include "instr/instr_private.h"
+#include "src/instr/instr_private.h"
#include "simgrid/sg_config.h"
#include "surf/surf.h"
void TRACE_global_init(int *argc, char **argv)
{
+ static int is_initialised = 0;
+ if (is_initialised) return;
+
+ is_initialised = 1;
/* name of the tracefile */
xbt_cfg_register(&_sg_cfg_set, OPT_TRACING_FILENAME,
"Trace file created by the instrumented SimGrid.",
/* format -- Switch the ouput format of Tracing */
xbt_cfg_register(&_sg_cfg_set, OPT_TRACING_FORMAT,
- "(smpi only for now) Switch the ouput format of Tracing",
+ "(smpi only for now) Switch the output format of Tracing",
xbt_cfgelm_string, 1, 1, NULL, NULL);
xbt_cfg_setdefault_string(_sg_cfg_set, OPT_TRACING_FORMAT, "Paje");