On 11/26/2012 05:03 PM, Bryce McKinlay wrote: > I'm not sure it's worth making it configure-time switchable. I'd just put it > on a branch, make sure it's working on the major platforms, and then merge > to trunk once the GCC tree goes back in to stage 1. That sounds very sensible. Andrew.