From 905416c5b9834d776683bb56ab305baa652028d4 Mon Sep 17 00:00:00 2001
From: Kévin Le Gouguec <kevin.legouguec@airbus.com>
Date: Fri, 5 Jul 2019 10:24:12 +0200
Subject: Correction du patch de traces
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Cassé par b29cc9d.

Léger  ajustement  du Makefile  pour  que  les plantages  soient  plus
simples à comprendre.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 2b9e4e0..00d6f66 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ test: $(test_variants)
 traces: traces-ae traces-tbc
 
 traces-%: | results
-	@ echo "Collecting traces"
+	@ echo "Collecting $@"
 	@ ./traces/collect-traces.sh $@
 
 nist:
-- 
cgit v1.2.3