http://gcc.gnu.org/bugzilla/show_bug.cgi?id=47107

--- Comment #1 from joseph at codesourcery dot com <joseph at codesourcery dot 
com> 2010-12-29 14:07:50 UTC ---
This is a bug in config.gcc; it should just accept i[34567]86 like other 
x86 targets, not ix86.

Reply via email to