diff options
Diffstat (limited to 'traces')
| -rwxr-xr-x | traces/collect-traces.sh | 5 |
1 files changed, 2 insertions, 3 deletions
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} |