From 9e22721006311c4bd525799928a17ebb5ca211b1 Mon Sep 17 00:00:00 2001
From: Silvan Jegen <s.jegen@gmail.com>
Date: Thu, 15 Sep 2016 20:58:43 +0200
Subject: Repeat the runs 10 times

We also only print the 'real' time.
---
 measuretime.sh   | 2 +-
 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
-- 
cgit v1.2.1-18-gbd029