From 6c97c0376bbbb145bf645534ec35349d21e15a13 Mon Sep 17 00:00:00 2001 From: Wojtek Kosior Date: Thu, 4 Jul 2019 00:38:09 +0200 Subject: 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} -- cgit v1.2.3