diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-04-11 21:26:03 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-04-11 21:26:03 (GMT) |
commit | f1143ea8e945dd35fc64202589c2ac90d4a00636 (patch) | |
tree | cd9c8c70860021207bf5ff2468662b9a0762777c /config/kernel_linux.in | |
parent | 02c025d3315dcdd46504c041ab0a8112d89b6853 (diff) |
Add an option for those having the kernel headers pre-installed from a customised local tree.
In that case, neither download, nor extract, nor patch.
Diffstat (limited to 'config/kernel_linux.in')
-rw-r--r-- | config/kernel_linux.in | 26 |
1 files changed, 24 insertions, 2 deletions
diff --git a/config/kernel_linux.in b/config/kernel_linux.in index aa07cad..c1699ae 100644 --- a/config/kernel_linux.in +++ b/config/kernel_linux.in @@ -28,18 +28,25 @@ config KERNEL_LINUX_HEADERS_COPY You do NOT want this. It's badly broken because it leaks kernel internals to userspace. +config KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR + bool + prompt "Use custom directory" + help + If you have some kernel headers lying around, you can enter the path + below. + endchoice config KERNEL string - default "linux" if KERNEL_LINUX_HEADERS_INSTALL || KERNEL_LINUX_HEADERS_COPY + default "linux" if ! KERNEL_LINUX_HEADERS_SANITISED default "linux-libc-headers" if KERNEL_LINUX_HEADERS_SANITISED config KERNEL_VERSION_SEE_EXTRAVERSION bool prompt "See extra versions" default n - depends on ! KERNEL_LINUX_HEADERS_SANITISED + depends on KERNEL_LINUX_HEADERS_COPY || KERNEL_LINUX_HEADERS_INSTALL help See extra versions (kernel with 4 numbers, eg 2.6.19.1). @@ -61,6 +68,19 @@ if KERNEL_LINUX_HEADERS_SANITISED source config/kernel_linux_headers_sanitised.in endif +config KERNEL_LINUX_HEADERS_CUSTOM_DIR + string + prompt "Where are those custom headers?" + depends on KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR + help + Enter the base directory where the headers are to be found. + + Eg. if the headers are in /some/place/include, then enter /some/place. + This is the same path you entered when you typed: + make INSTALL_HDR_PATH=/some/place headers_install + +if ! KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR + choice bool prompt "Kernel verbosity:" @@ -100,3 +120,5 @@ config KERNEL_LINUX_CONFIG_FILE Path to the kernel configuration file. You _must_ provide one (for now). + +endif |