diff --git a/tests/read_trs_files.sh b/tests/read_trs_files.sh index e805cb150201cca70cef189ed3309a8c46bdeb5b..cdd866d557f8deca901041abd49d70d9771fdd68 100755 --- a/tests/read_trs_files.sh +++ b/tests/read_trs_files.sh @@ -22,7 +22,7 @@ for file in $1 ; do done fi - time=`grep cputime $file | cut -d: -f3` + time=`grep elapsed-time $file | cut -d: -f3` tosort=`echo $tosort\| $file ' - ' $time:` done ((passed=$total-$failed)); @@ -42,7 +42,7 @@ for file in $2 ; do done fi - time=`grep cputime $file | cut -d: -f3` + time=`grep elapsed-time $file | cut -d: -f3` tosort=`echo $tosort\| $file ' - ' $time:` done ((xfailed=$total_xfail-$xpassed));