From 244242a973d74a907066d73a54b20487401dd53c Mon Sep 17 00:00:00 2001
From: Silvan Jegen <s.jegen@gmail.com>
Date: Thu, 15 Sep 2016 20:24:57 +0200
Subject: Add benchmarking scripts and benchmarking subset

---
 measuretime.sh | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100755 measuretime.sh

(limited to 'measuretime.sh')

diff --git a/measuretime.sh b/measuretime.sh
new file mode 100755
index 0000000..29760bf
--- /dev/null
+++ b/measuretime.sh
@@ -0,0 +1,3 @@
+#! /bin/bash
+
+time $@ > /dev/null 2>> $1.time.txt 
-- 
cgit v1.2.1-18-gbd029