]> gitweb.factorcode.org Git - factor.git/commit
benchmark: fix benchmark selection so it works like tools.test
authorBjörn Lindqvist <bjourne@gmail.com>
Mon, 26 Sep 2016 08:35:42 +0000 (10:35 +0200)
committerBjörn Lindqvist <bjourne@gmail.com>
Mon, 26 Sep 2016 08:35:42 +0000 (10:35 +0200)
commitd18fbb1678a08971d670b5fdbb4781cb92771df3
tree6174584a4d7f36fc29fc140fdf767ca46d12912d
parentc6faf98c864213641838f8c4b3cd9ae4cb7cf4f1
benchmark: fix benchmark selection so it works like tools.test
extra/benchmark/benchmark.factor