diff options
| author | Simon Tatham <anakin@pobox.com> | 2015-05-18 16:17:49 +0100 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2015-05-18 16:17:49 +0100 |
| commit | 894921015dde693697647b98b0c41467dcc91c08 (patch) | |
| tree | dba9086c75826b70c643d8708e4528557359f022 /Recipe | |
| parent | f49c7f530cfc5f0cc988be265e243e074279b761 (diff) | |
| download | puzzles-894921015dde693697647b98b0c41467dcc91c08.zip puzzles-894921015dde693697647b98b0c41467dcc91c08.tar.gz puzzles-894921015dde693697647b98b0c41467dcc91c08.tar.bz2 puzzles-894921015dde693697647b98b0c41467dcc91c08.tar.xz | |
Move the benchmarking logic out into a script.
It's a pain having it in a rule in Makefile.gtk, which isn't even the
recommended makefile these days - it can't be re-run conveniently, and
there's no way to parametrise it. Now it can be run no matter which
makefile you're using, and it lets you narrow down to a subset of
games (though not presets). Other options could easily be added.
Diffstat (limited to 'Recipe')
| -rw-r--r-- | Recipe | 10 |
1 files changed, 3 insertions, 7 deletions
@@ -142,11 +142,7 @@ test: benchmark.html benchmark.txt benchmark.html: benchmark.txt benchmark.pl ./benchmark.pl benchmark.txt > $@ -benchmark.txt: $(GAMES) - for i in $(GAMES); do \ - for params in $$(env -i ./$(BINPREFIX)$$i --list-presets | cut -f1 -d' '); do \ - env -i ./$(BINPREFIX)$$i --test-solve --time-generation --generate 100 $$params \ - || exit 1; \ - done; \ - done > $@ +benchmark.txt: benchmark.sh $(GAMES) + ./benchmark.sh > $@ + !end |