aboutsummaryrefslogtreecommitdiff
path: root/INSTALL
diff options
context:
space:
mode:
Diffstat (limited to 'INSTALL')
-rw-r--r--INSTALL14
1 files changed, 7 insertions, 7 deletions
diff --git a/INSTALL b/INSTALL
index ee5b74e..ef52d74 100644
--- a/INSTALL
+++ b/INSTALL
@@ -609,13 +609,13 @@ Specific advice for GNU/Linux systems
If you are installing the GNU C Library on GNU/Linux systems, you need
to have the header files from a 3.2 or newer kernel around for
-reference. These headers must be installed using ‘make headers_install’;
-the headers present in the kernel source directory are not suitable for
-direct use by the GNU C Library. You do not need to use that kernel,
-just have its headers installed where the GNU C Library can access them,
-referred to here as INSTALL-DIRECTORY. The easiest way to do this is to
-unpack it in a directory such as ‘/usr/src/linux-VERSION’. In that
-directory, run ‘make headers_install
+reference. These headers must be installed using ‘make
+headers_install’; the headers present in the kernel source directory are
+not suitable for direct use by the GNU C Library. You do not need to
+use that kernel, just have its headers installed where the GNU C Library
+can access them, referred to here as INSTALL-DIRECTORY. The easiest way
+to do this is to unpack it in a directory such as
+‘/usr/src/linux-VERSION’. In that directory, run ‘make headers_install
INSTALL_HDR_PATH=INSTALL-DIRECTORY’. Finally, configure the GNU C
Library with the option ‘--with-headers=INSTALL-DIRECTORY/include’. Use
the most recent kernel you can get your hands on. (If you are