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)
the `benchmarks/bench_engines.sh` script was not updated for the
*killnitc* transition.

This series cleaup the file, making it usable again.


Trivial merge