Join 36 million developers who use GitHub
issues to help identify, assign, and keep track of the features and
bug fixes your projects need.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and
privacy statement. We’ll occasionally send you account related emails.
Already on GitHub?
to your account
[reported by blelbach] [Trac time Thu Oct 13 04:03:52 2011] It'd be really nice if we could optionally stream performance counter data to a file instead of to cout (e.g. for --print-counter and --print-counter-interval).
[comment by hkaiser] [Trac time Thu Feb 16 04:19:14 2012] Added command line option --print-counter-destination=