[Bug bootstrap/57900] /usr/include/gnu/stubs.h:7:27: fatal error: gnu/stubs-32.h: No such file or directory

[gdr at gcc dot gnu.org]

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

Gabriel Dos Reis <gdr at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |gdr at gcc dot gnu.org

--- Comment #4 from Gabriel Dos Reis <gdr at gcc dot gnu.org> ---
(In reply to Jonathan Wakely from comment #3)
> See the long thread starting at
> http://gcc.gnu.org/ml/gcc/2013-07/msg00075.html
> 
> If it's easy to solve I'm sure a patch would be welcomed :)

In this specific case, the ease of developing a patch is to be dissociated from
a willingness to accept that it is a problem.