From 6c97c0376bbbb145bf645534ec35349d21e15a13 Mon Sep 17 00:00:00 2001
From: Wojtek Kosior <kwojtus@protonmail.com>
Date: Thu, 4 Jul 2019 00:38:09 +0200
Subject: [PATCH] call time-measuring script from makefile

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 8963bb6..5ab81d8 100644
--- a/Makefile
+++ b/Makefile
@@ -46,6 +46,9 @@ res/1image_results : integrator run.sh
 res/5images_results : integrator run.sh
 	./run.sh 5 > $@
 
+res/times : integrator measure_times.sh
+	./measure_times.sh > $@
+
 clean :
 	-rm integrator *.{mod,o}
 
-- 
2.11.4.GIT