diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -2,7 +2,7 @@ implementations = $(dir \ $(shell find crypto_aead -name Makefile) \ ) -delegated = clean test traces +delegated = clean test .PHONY: $(delegated) @@ -15,14 +15,14 @@ $(delegated):: exit $$status clean:: - - rm traces.tgz + - rm traces*.tgz # To generate complete traces, apply this patch before running "make traces": # $ git apply traces.patch # To update this patch, add print statements, then run # $ git diff src > traces.patch -traces:: traces.tgz +traces: traces-ae traces-tbc -traces.tgz: +traces-%: @ echo "Collecting traces" - @ ./collect-traces.sh + @ ./collect-traces.sh $@ |