http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19563
--- Comment #4 from bero at arklinux dot org 2011-11-13 18:17:20 UTC --- It has worked for me for the last couple of years as well, so whatever caused it is fixed
- [Bug other/19563] Makefiles don't handle configu... gerald at pfeifer dot com
- [Bug other/19563] Makefiles don't handle co... bero at arklinux dot org
