On Thu, Jan 31, 2013 at 01:07:39PM -0500, Ted Mielczarek wrote: > After consideration, I think we ought to just bite the bullet and > disable PGO. We have no other way to fix this issue. All other work we > can do simply pushes it down the road. As our recent history has shown, > we simply don't have the ability to fix this in any long-term sense. If > Microsoft doesn't fix their toolchain, there's nothing we can do.
I'd say that if we can keep our benchmark scores by selectively enabling PGO in some directories (instead of the current scheme of selectively disabling it), we should go for that. Mike _______________________________________________ dev-platform mailing list dev-platform@lists.mozilla.org https://lists.mozilla.org/listinfo/dev-platform
