diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -20,7 +20,7 @@ test: $(test_variants) traces: traces-ae traces-tbc traces-%: | results - @ echo "Collecting traces" + @ echo "Collecting $@" @ ./traces/collect-traces.sh $@ nist: |