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
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