http://gcc.gnu.org/bugzilla/show_bug.cgi?id=51720
--- Comment #3 from Ramón García <ramon.garcia.freesw at gmx dot com> 2011-12-30 23:24:42 UTC --- Note that I am reporting this bug to help other users have less problems. I have fixed the issue for myself (the workaround, editing Makefile, is not too difficult). I took the time to isolate the problem, for the benefit of the GCC development team and the community.
