Comment 4 for bug 1371690

If the two kinds of EnableCoverageReport.cmake indeed differ (that's precisely the reason why it's a really bad idea to copy such code around and then modify it!), then I think the best way to merge them so that they support both configuration syntaxes. If for some reason that's not possible, I suggest renaming one, negotiating which one we want in the future, putting a big "this is deprecated, please move to XXX" stamp on the other, and over time convert projects.