From 6f95cb1f104759d198f252c3064ba061a52918c0 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Wed, 28 Nov 2018 14:56:20 +0100
Subject: Ajout de patchs pour la génération de traces
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

… Y a probablement une façon plus  simple de gérer tout ça, mais je la
vois pas là tout de suite.
---
 collect-traces.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 collect-traces.sh

(limited to 'collect-traces.sh')

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}
-- 
cgit v1.2.3