diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -4,7 +4,10 @@ implementations = $(dir \ delegated = clean test -.PHONY: $(delegated) +.PHONY: $(delegated) nist + +results: + mkdir $@ $(delegated):: status=0; \ @@ -16,6 +19,7 @@ $(delegated):: clean:: - rm traces*.tgz + - rm -r results # To generate complete traces, apply this patch before running "make traces": # $ git apply traces.patch @@ -23,6 +27,9 @@ clean:: # $ git diff src > traces.patch traces: traces-ae traces-tbc -traces-%: +traces-%: | results @ echo "Collecting traces" @ ./collect-traces.sh $@ + +nist: | results + ./nist/make-package.sh |