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
commit905416c5b9834d776683bb56ab305baa652028d4 (patch)
tree578c2f2782214c2b94042ee12f8903ea41387210 /Makefile
parenta38039473fc57e1b31d0e321808ecf9ee19bb7e1 (diff)
downloadlilliput-ae-implem-905416c5b9834d776683bb56ab305baa652028d4.tar.xz
Correction du patch de traces
Cassé par b29cc9d. 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: