Linux Headers question

[Mark Rosenstand]

On Wed, 2007-11-21 at 20:35 +0000, Reece Dunn wrote:
> Hi,
> 
> In the sections on building the Linux headers from the kernel sources,
> the build instructions are (for section 6):
> 
>     make mrproper
>     make headers_check
>     make INSTALL_HDR_PATH=dest headers_install
>     cp -rv dest/include/* /usr/include
> 
> What is the rationale behind the last two lines? Why not simply run:
> 
>     make INSTALL_HDR_PATH=/usr/include headers_install

IIRC will the headers_install target wipe out INSTALL_HDR_PATH prior to
installing the headers, which is Ungood[tm] for /usr/include.

At least at some point I think headers_install depended on
headers_check; if that's still the case perhaps that step could be left
out.