1 --- a/testing/doallspeeds.sh
2 +++ b/testing/doallspeeds.sh
3 @@ -25,11 +25,11 @@ for f in ../*/*.pat; do
4 printf `basename $f .pat`
6 if [ $userspace ]; then
7 - gtime=`./timeit.sh $f userspace real | grep Total | cut -d\ -f 2`
8 + gtime=`./timeit.sh $f userspace real | grep Total | cut -d\ -f 2 | awk '{print $1}'`
12 - htime=`./timeit.sh $f kernel real | grep Total | cut -d\ -f 2`
13 + htime=`./timeit.sh $f kernel real | grep Total | cut -d\ -f 2 | awk '{print $1}'`