Réorganisation des traces

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}