From 606eb4d9ca85d580d0291fb09e3cd7fba3ece3e7 Mon Sep 17 00:00:00 2001 From: Lucas Schnorr Date: Tue, 25 Aug 2015 14:09:19 -0300 Subject: [PATCH] some traces have TAB instead of space after % --- tools/fix-paje-trace.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.20.1