The -coverage-file flag was removed in r280306, but I believe this part may have been missed. However, since I'm unfamiliar with this feature, I wanted to be sure.
Details
Details
Diff Detail
Diff Detail
Event Timeline
Comment Actions
Ping. (If I don't hear back, I will assume this is noncontroversial and go ahead and commit sometime next week.)
Comment Actions
I've commit in r301796. Rather than accept my own review and then close it, I am marking it as abandoned.