http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59688
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- Created attachment 31578 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31578&action=edit config log of my gcc build
juergen.reuter at desy dot de Sun, 05 Jan 2014 14:27:50 -0800
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59688
--- Comment #1 from Jürgen Reuter <juergen.reuter at desy dot de> --- Created attachment 31578 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31578&action=edit config log of my gcc build