diff options
author | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:58:43 +0200 |
---|---|---|
committer | Silvan Jegen <s.jegen@gmail.com> | 2016-09-15 20:58:43 +0200 |
commit | 9e22721006311c4bd525799928a17ebb5ca211b1 (patch) | |
tree | 02c5833bee862333bfc6c3f36ed24f76ab26b544 | |
parent | 244242a973d74a907066d73a54b20487401dd53c (diff) |
Repeat the runs 10 times
We also only print the 'real' time.
-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 |