diff options
-rwxr-xr-x | measuretime.sh | 2 | ||||
-rwxr-xr-x | runbenchmarks.sh | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/measuretime.sh b/measuretime.sh index 29760bf..3b6dad5 100755 --- a/measuretime.sh +++ b/measuretime.sh @@ -1,3 +1,3 @@ #! /bin/bash -time $@ > /dev/null 2>> $1.time.txt +time $@ > /dev/null diff --git a/runbenchmarks.sh b/runbenchmarks.sh index e0304fb..ff75a2a 100755 --- a/runbenchmarks.sh +++ b/runbenchmarks.sh @@ -3,5 +3,7 @@ xmldocs=`cat xmldata/subset.txt` for prog in ezxml goencxml mxml pyeletree.py sxmlc yxml; do - ./measuretime ./$prog $xmldocs + for i in `seq 10`; do + ./measuretime.sh 2>&1 ./$prog $xmldocs > /dev/null | grep real >> $prog.log + done done |