summaryrefslogtreecommitdiff
path: root/traces
diff options
context:
space:
mode:
Diffstat (limited to 'traces')
-rwxr-xr-xtraces/collect-traces.sh4
1 files changed, 1 insertions, 3 deletions
diff --git a/traces/collect-traces.sh b/traces/collect-traces.sh
index 16e8408..9dc7b3e 100755
--- a/traces/collect-traces.sh
+++ b/traces/collect-traces.sh
@@ -16,12 +16,10 @@ git apply ${patch}
for makefile in $(find test -name Makefile)
do
implem_dir=$(dirname ${makefile})
- make -C ${implem_dir} clean
-
make -C ${implem_dir} ${trace_type}
- cp ${implem_dir}/results/traces*.txt ${d}
done
+cp results/{i,ii}-{128,192,256}/${trace_type}-*.txt ${d}
tar czf results/${trace_type}.tgz -C ${d} .
rm -r ${d}