https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85921
--- Comment #14 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Fri, 25 May 2018, gcc at mailinator dot com wrote: > https://gcc.gnu.org/install/ doesn't say anything about make headers_install. That's because it's not part of installing GCC, it's part of having a working previously installed system compiler and libc, which is required in order to build GCC in the first place (typically on systems using the Linux kernel, you'd get that previously installed compiler and libc from OS distribution packages, which would then enable you to build a newer GCC locally if you wish to do so). It's been the case since around Linux 2.6.19 that "make headers_install" is the right way to install kernel headers for use by any userspace libc. For example, if you read the glibc installation instructions, they specifically explain the use of "make headers_install", and any distributor producing a system based on glibc should be following those instructions.
