mongodb/mongo — pull request #506 by mgrundy (2013-09-27 17:48:48+00:00)
Title: SERVER-10808 add __gcov_flush() call on exit

Hi Matt - this is the pull request I talked to you about (allows code coverage instrumentation stats to flush on exit from mongod, mongos and unit tests). Code review is linked in the SERVER ticket

Mike