Linux Headers Installation
msclrhd at googlemail.com
Sat Oct 11 12:11:34 PDT 2008
2008/10/11 Randy McMurchy <randy at linuxfromscratch.org>:
> Hi all,
> There's a minor ticket about explaining what the installation
> commands in the Linux Headers installation do, and it occurred
> to me that is it possible that there's a redundant step?
> Now here is where I don't really see the need for two commands:
> make INSTALL_HDR_PATH=dest headers_install
> cp -rv dest/include/* /usr/include
> Couldn't we just use the command:
> make INSTALL_HDR_PATH=/usr headers_install
> and be done with it?
I asked this question on 21/11/2007 ("Linux Headers question"
which likely resulted in that ticket item. I got essentially the same
response from Thomas Trepl and Mark Rosenstand:
Thomas Trepl wrote:
> Because this would clean the /usr/include first and than install the headers.
> With this, some installed headers will be lost.
More information about the lfs-dev