From 1285e957e376dd832d4f7fa83ab2bc9943a97900 Mon Sep 17 00:00:00 2001
From: Bert Peters <bert.ljpeters@gmail.com>
Date: Sat, 19 Dec 2015 17:12:07 +0100
Subject: [PATCH] Add timings to the runner script.

---
 runall.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/runall.sh b/runall.sh
index d382d30..000bafa 100755
--- a/runall.sh
+++ b/runall.sh
@@ -9,7 +9,7 @@ rundir()
 
 	for i in $1/*.py; do
 		echo "$i" "$input"
-		python "$i" "$input"
+		time python "$i" "$input"
 		echo
 	done
 }