From: Lucas Schnorr <schnorr@inf.ufrgs.br>
Date: Tue, 25 Aug 2015 17:09:19 +0000 (-0300)
Subject: some traces have TAB instead of space after %
X-Git-Tag: v3_12~300^2~2
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/606eb4d9ca85d580d0291fb09e3cd7fba3ece3e7

some traces have TAB instead of space after %
---

diff --git a/tools/fix-paje-trace.sh b/tools/fix-paje-trace.sh
index 5305d78b53..211a727498 100755
--- a/tools/fix-paje-trace.sh
+++ b/tools/fix-paje-trace.sh
@@ -26,7 +26,7 @@ do
   GREP="/^$i /d; $GREP"
   GREP2="-e '^$i ' $GREP2"
 done
-GREP="/^%\ /d; /^%E/d; $GREP"
+GREP="/^%\ /d; /^%	/d; /^%E/d; $GREP"
 
 cat $TRACE | eval grep $GREP2 > types
 /bin/sed -e "$GREP" $TRACE > events