On Fri, 3 Jan 2014, Sebastian Huber wrote: > There is already a --with-newlib configure option, so maybe it makes sense to > use it for the "stmp-int-hdrs" Makefile target?
The --with-newlib option is a badly named option that really means "set inhibit_libc". That is, it's for an initial bootstrap compiler build, whatever C library might be in use (and typically there'd be another compiler build once that actual C library and headers have been installed using the first bootstrap compiler, with this second compiler build being the one that should actually be fully configured for the C library in use). So it might not be a good idea to make it do anything specific to newlib. -- Joseph S. Myers jos...@codesourcery.com