Print dbg counters after bench
authorMarco Costalba <mcostalba@gmail.com>
Tue, 11 Mar 2014 21:19:14 +0000 (22:19 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Tue, 11 Mar 2014 21:19:14 +0000 (22:19 +0100)
commitca0804dfe431e4f91f5a9a1faa7df27996c4e1ba
tree8b4c727aa8658197c13f730e385cd4d1279f7eb4
parentd2a8ba329940655e4683a67a2528a92717700732
Print dbg counters after bench

Print last debug counters update just
before to exit benchmark.

Suggested by Stephane Nicolet.

No functional change.
src/benchmark.cpp