Ajout de patchs pour la génération de traces

… Y a probablement une façon plus  simple de gérer tout ça, mais je la
vois pas là tout de suite.

1 files changed, 14 insertions, 0 deletions

diff --git a/collect-traces.sh b/collect-traces.sh
new file mode 100755
index 0000000..0b50adc
--- /dev/null
+++ b/collect-traces.sh
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+set -eu
+
+d=$(mktemp -d)
+
+for f in $(find . -name 'traces-*.txt')
+do
+    cp ${f} ${d}
+done
+
+tar czf traces.tgz -C ${d} .
+
+rm -r ${d}