From dab00a856ac249805c336731e329bdf0fe1e1489 Mon Sep 17 00:00:00 2001
From: Christian Heinrich <franz-christian.heinrich@inria.fr>
Date: Mon, 4 Apr 2016 16:00:19 +0200
Subject: [PATCH 1/1] [SMPI/INSTR] Wrap filenames in traces in quot. marks

---
 src/instr/instr_paje_trace.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/instr/instr_paje_trace.cpp b/src/instr/instr_paje_trace.cpp
index 02a597487a..10a9c65da4 100644
--- a/src/instr/instr_paje_trace.cpp
+++ b/src/instr/instr_paje_trace.cpp
@@ -224,8 +224,8 @@ void print_pajeSetState(paje_event_t event) {
   stream << " " << static_cast<setState_t>(event->data)->value->id;
 
   if (true) { // If (sg_config("tracing/caller_location"))
-    stream << " " << static_cast<setState_t>(event->data)->filename
-           << " " << static_cast<setState_t>(event->data)->linenumber;
+    stream << " \"" << static_cast<setState_t>(event->data)->filename
+           << "\" " << static_cast<setState_t>(event->data)->linenumber;
   }
 
   print_row();
@@ -247,8 +247,8 @@ void print_pajePushState(paje_event_t event) {
   }
 
   if (true) { // If (sg_config("tracing/caller_location"))
-    stream << " " << static_cast<pushState_t>(event->data)->filename
-           << " " << static_cast<pushState_t>(event->data)->linenumber;
+    stream << " \"" << static_cast<pushState_t>(event->data)->filename
+           << "\" " << static_cast<pushState_t>(event->data)->linenumber;
   }
 
   print_row();
-- 
2.20.1