diff options
Diffstat (limited to 'chapter05/linux-headers.xml')
| -rw-r--r-- | chapter05/linux-headers.xml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/chapter05/linux-headers.xml b/chapter05/linux-headers.xml index 83e01607c..04340f80c 100644 --- a/chapter05/linux-headers.xml +++ b/chapter05/linux-headers.xml @@ -51,16 +51,16 @@ <para>Make sure there are no stale files and dependencies lying around from previous activity:</para> -<screen><userinput remap="install">make mrproper</userinput></screen> +<screen><userinput remap="pre">make mrproper</userinput></screen> <para>Now test and extract the user-visible kernel headers from the source. They are placed in an intermediate local directory and copied to the needed location because the extraction process removes any existing files in the target directory.</para> -<screen><userinput remap="install">make headers_check +<screen><userinput remap="make">make headers_check make INSTALL_HDR_PATH=dest headers_install -cp -rv dest/include/* /tools/include</userinput></screen> +</userinput><userinput remap="install">cp -rv dest/include/* /tools/include</userinput></screen> </sect2> |