summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorGaetan Leplus <gaetan.leplus@airbus.com>2019-07-05 16:16:19 +0200
committerGaetan Leplus <gaetan.leplus@airbus.com>2019-07-05 16:16:19 +0200
commita432c19745907a96303b3a25111e0fd622202e0c (patch)
tree3ac352a3598fa444d45695dbb2b4cee63698ac57 /Makefile
parent92893d79b36c9fb5a90644b82d16d9fa2563feb1 (diff)
parent4f58d99e11e1c412a600f39f32a8d181765f0246 (diff)
downloadlilliput-ae-implem-a432c19745907a96303b3a25111e0fd622202e0c.tar.xz
Merge remote-tracking branch 'origin/master' into fix-vhdltbc
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: