diff options
| -rw-r--r-- | Recipe | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -146,3 +146,12 @@ benchmark.txt: benchmark.sh $(GAMES) ./benchmark.sh > $@ !end +!begin am +test: benchmark.html benchmark.txt + +benchmark.html: benchmark.txt benchmark.pl + ./benchmark.pl benchmark.txt > $@ + +benchmark.txt: benchmark.sh $(GAMES) + ./benchmark.sh > $@ +!end |