On 24 August 2012 09:08, Andrew Haley wrote: > On 08/23/2012 10:10 PM, Jonathan Wakely wrote: >>> Maybe the check in the configure script should check for the correct >>> > version range. It looks to me that the recent versions are not >>> > compatible to the gcc makefile/configure. > >> That's http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50461 - the fix is >> on the trunk but hasn't been applied to the 4.7 branch > > Do you want to handle applying that patch to the branch? Sounds > like you've built & tested it already. Yep, I've only tested it on the 4.7.1 release so far, but I'll test it on the branch tip and apply it over the weekend.
