From 3070e56235256fcd3dfed7d241eebaf1e4dafc07 Mon Sep 17 00:00:00 2001 From: Christian Heinrich Date: Thu, 26 May 2016 12:37:35 +0200 Subject: [PATCH] [INSTR] Rename paje headers for call-location tracing We cannot call these values 'Filename' and 'Linenumber' because they're reserved and will be ignored by pj_dump. --- src/instr/instr_paje_header.cpp | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/src/instr/instr_paje_header.cpp b/src/instr/instr_paje_header.cpp index f135044bc4..6994075d4b 100644 --- a/src/instr/instr_paje_header.cpp +++ b/src/instr/instr_paje_header.cpp @@ -165,8 +165,12 @@ static void TRACE_header_PajePushState (int basic, int size) fprintf(tracing_file, "%% Value string\n"); if (size) fprintf(tracing_file, "%% Size int\n"); if (xbt_cfg_get_boolean("smpi/trace-call-location")) { - fprintf(tracing_file, "%% Filename string\n"); - fprintf(tracing_file, "%% Linenumber int\n"); + /** + * paje currently (May 2016) uses "Filename" and "Linenumber" as + * reserved words. We cannot use them... + */ + fprintf(tracing_file, "%% Fname string\n"); + fprintf(tracing_file, "%% Lnumber int\n"); } fprintf(tracing_file, "%%EndEventDef\n"); } -- 2.20.1