From b721cf952a5835099a09f5749d4b6090eb6fc68d Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Tue, 18 Dec 2018 15:03:33 +0100 Subject: Correction du script de génération des traces MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Herp derp. --- traces/collect-traces.sh | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'traces/collect-traces.sh') diff --git a/traces/collect-traces.sh b/traces/collect-traces.sh index 9dc7b3e..d738a1b 100755 --- a/traces/collect-traces.sh +++ b/traces/collect-traces.sh @@ -13,10 +13,9 @@ d=$(mktemp -d) git apply ${patch} -for makefile in $(find test -name Makefile) +for variant_dir in test/{i,ii}-{128,192,256} do - implem_dir=$(dirname ${makefile}) - make -C ${implem_dir} ${trace_type} + make -C ${variant_dir} ${trace_type} done cp results/{i,ii}-{128,192,256}/${trace_type}-*.txt ${d} -- cgit v1.2.3