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