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

--- Comment #11 from vries at gcc dot gnu.org 2011-11-30 16:20:07 UTC ---
Denis,

please open a separate bug, and mention configure line there.

Thanks,
- Tom

Reply via email to