diff --git a/tests/create_timing_csv.sh b/tests/create_timing_csv.sh index a9cdeb7e9..7f8af800c 100755 --- a/tests/create_timing_csv.sh +++ b/tests/create_timing_csv.sh @@ -15,7 +15,7 @@ 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 - name=`echo $file | sed 's/\//-/g' | sed 's/\.m.trs$//g' | sed 's/\.o.trs$//g'` + name=`echo $file | sed 's/\.m\.trs$/.mod/g' | sed 's/\.o\.trs$/.mod/g'` echo "DATE,$name" > $CSVDIR/$csvfile fi echo $DATE,$time >> $CSVDIR/$csvfile