diff --git a/Recipe b/Recipe index 4515ab9..ba8317f 100644 --- a/Recipe +++ b/Recipe @@ -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