From 42d100f8c17ebe1bf2e7b8841a8fd2dc867f8881 Mon Sep 17 00:00:00 2001
From: Houtan Bastani <houtan@dynare.org>
Date: Tue, 15 Sep 2015 17:38:32 +0200
Subject: [PATCH] test suite: add header to timing files

---
 tests/create_timing_csv.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)
 mode change 100755 => 100644 tests/create_timing_csv.sh

diff --git a/tests/create_timing_csv.sh b/tests/create_timing_csv.sh
old mode 100755
new mode 100644
index 7ab5d1fc6..d0e37c926
--- a/tests/create_timing_csv.sh
+++ b/tests/create_timing_csv.sh
@@ -10,7 +10,8 @@ for file in $1 $2; do
     time=`grep cputime $file | cut -d: -f3 | sed -e 's/^[[:space:]]*//' | sed -e 's/[[:space:]]*$//'`
     csvfile=`echo $file | sed 's/\//-/g' | sed 's/\.trs$/\.csv/g'`
     if [ ! -f $CSVDIR/$csvfile ]; then
-        `touch $CSVDIR/$csvfile`
+        name=`echo $file | sed 's/\//-/g' | sed 's/\.m.trs$//g' | sed 's/\.o.trs$//g'`
+        echo "DATE,$name" > $CSVDIR/$csvfile
     fi
     echo $DATE,$time >> $CSVDIR/$csvfile
 done