Merge branch 'benchs'
authorJean Privat <jean@pryen.org>
Mon, 3 Mar 2014 20:21:39 +0000 (15:21 -0500)
committerJean Privat <jean@pryen.org>
Mon, 3 Mar 2014 20:21:39 +0000 (15:21 -0500)
commit5f5969cca815375c66f4fe68a45293aa9fc735fd
treeee500ee1f52130128b3815332b2c1270458f303d
parent46180c8865246c310f60f0a8dac31ae00a28d1b9
parentb24966a0d0bd4b54c1d0a494b94d844907eb7c24
Merge branch 'benchs'

the `benchmarks/bench_engines.sh` script was not updated for the
*killnitc* transition.

This series cleaup the file, making it usable again.