benchs: no not bench --phmod-typing
authorJean Privat <jean@pryen.org>
Mon, 27 May 2013 16:56:31 +0000 (12:56 -0400)
committerJean Privat <jean@pryen.org>
Mon, 15 Jul 2013 18:21:24 +0000 (14:21 -0400)
commita3cb8d1dfd9b841b49fe2a98441469f49d25f4e4
tree7ef577250a57f6402a8bf7be4edbe1b4900f4244
parentb2b22bf00bf56154d5fb155be5e9148471bb01e3
benchs: no not bench --phmod-typing
benchmarks/bench_engines.sh