From c53c0dfe37b36b61958267200a2603a8c749ad5e Mon Sep 17 00:00:00 2001
From: Max Brunsfeld <maxbrunsfeld@gmail.com>
Date: Mon, 28 Apr 2014 08:11:48 -0700
Subject: [PATCH] Record running time in test script

---
 script/test.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/script/test.sh b/script/test.sh
index 803d202b..1a8ecbce 100755
--- a/script/test.sh
+++ b/script/test.sh
@@ -3,7 +3,7 @@
 set -e
 
 make compiler_specs
-out/Default/compiler_specs
+time out/Default/compiler_specs
 
 make runtime_specs
-out/Default/runtime_specs
+time out/Default/runtime_specs