Add metric for log recompacting #439

merged 1 commit into from Oct 4, 2012


None yet

4 participants

wolfp commented Oct 4, 2012

This is useful in performance testing


Evan Martin » ninja #193 SUCCESS
This pull request looks good
(what's this?)

@evmar evmar merged commit 6b1d5c2 into ninja-build:master Oct 4, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment