summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorKévin Le Gouguec <kevin.legouguec@airbus.com>2019-07-05 10:24:12 +0200
committerKévin Le Gouguec <kevin.legouguec@airbus.com>2019-07-05 10:25:35 +0200
commit1fcb3a006a29d37897adf2af237a73d050d57263 (patch)
tree578c2f2782214c2b94042ee12f8903ea41387210 /Makefile
parentc77e2ddc9b9c1dbab7513084d597a238b9b498dd (diff)
downloadlilliput-ae-implem-1fcb3a006a29d37897adf2af237a73d050d57263.tar.xz
Correction du patch de traces
Cassé par 5fdd2fd. Léger ajustement du Makefile pour que les plantages soient plus simples à comprendre.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
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: