http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47536 --- Comment #9 from Jonathan Wakely <redi at gcc dot gnu.org> 2011-01-30 23:13:28 UTC --- well if you don't want a working compiler feel free to ignore the docs and refuse to try the options that might help patches to configure are welcome.