* under the terms of the license (GNU LGPL) which comes with this package. */
#include "instr/instr_private.h"
+#include "xbt/virtu.h" /* sg_cmdline */
#ifdef HAVE_TRACING
/* output generator version */
fprintf (tracing_file, "#This file was generated using SimGrid-%d.%d.%d\n", SIMGRID_VERSION_MAJOR, SIMGRID_VERSION_MINOR, SIMGRID_VERSION_PATCH);
+ fprintf (tracing_file, "#[");
+ unsigned int cpt;
+ char *str;
+ xbt_dynar_foreach (xbt_cmdline, cpt, str){
+ fprintf(tracing_file, "%s ",str);
+ }
+ fprintf (tracing_file, "]\n");
/* output one line comment */
dump_comment (TRACE_get_comment());