diff options
Diffstat (limited to 'chapter05/linux-headers.xml')
| -rw-r--r-- | chapter05/linux-headers.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chapter05/linux-headers.xml b/chapter05/linux-headers.xml index e7889a5fb..63063b7d6 100644 --- a/chapter05/linux-headers.xml +++ b/chapter05/linux-headers.xml @@ -50,7 +50,7 @@ <para>Install the header files:</para> -<screen><userinput>make mrproper +<screen><userinput remap="install">make mrproper make headers_check make INSTALL_HDR_PATH=dest headers_install cp -rv dest/include/* /tools/include</userinput></screen> |