1 files changed, 3 insertions, 0 deletions

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}