chiark / gitweb /
Move the benchmarking logic out into a script.
authorSimon Tatham <anakin@pobox.com>
Mon, 18 May 2015 15:17:49 +0000 (16:17 +0100)
committerSimon Tatham <anakin@pobox.com>
Mon, 18 May 2015 15:17:49 +0000 (16:17 +0100)
commit894921015dde693697647b98b0c41467dcc91c08
treedba9086c75826b70c643d8708e4528557359f022
parentf49c7f530cfc5f0cc988be265e243e074279b761
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.
Recipe
benchmark.pl
benchmark.sh [new file with mode: 0755]