diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -18,18 +18,13 @@ $(delegated):: exit $$status clean:: - - rm traces*.tgz - rm -r results -# 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-ae traces-tbc traces-%: | results @ echo "Collecting traces" - @ ./collect-traces.sh $@ + @ ./traces/collect-traces.sh $@ nist: | results ./nist/make-package.sh |