[trace] output the command line used to generate the trace file

diff --git a/src/instr/instr_paje_trace.c b/src/instr/instr_paje_trace.c
index 7b5568d..04110ab 100644 (file)
--- a/src/instr/instr_paje_trace.c
+++ b/src/instr/instr_paje_trace.c
@@ -178,6 +178,13 @@ void TRACE_paje_start(void)
 
   /* 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 (sg_cmdline, cpt, str){
+    fprintf(tracing_file, "%s ",str);
+  }
+  fprintf (tracing_file, "]\n");
 
   /* output one line comment */
   dump_comment (TRACE_get_comment());