diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-06 13:42:10 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2007-05-06 13:42:10 (GMT) |
commit | 96d28dc7d32fe10abb8ce832f08bf4fa3a5e3d9d (patch) | |
tree | 00b21299db0d6fa8145fd3b90b29d4d6245e0420 /config/kernel_linux.in | |
parent | 0325315ce79c27cc503a46a8e4b23ad7155b8051 (diff) |
Introduce an OBSOLETE config option, to mask-out legacy stuff.
Diffstat (limited to 'config/kernel_linux.in')
-rw-r--r-- | config/kernel_linux.in | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/config/kernel_linux.in b/config/kernel_linux.in index 4d74961..9394300 100644 --- a/config/kernel_linux.in +++ b/config/kernel_linux.in @@ -14,6 +14,7 @@ config KERNEL_LINUX_HEADERS_INSTALL config KERNEL_LINUX_HEADERS_SANITISED bool prompt "Mazur's sanitized headers (OBSOLETE)" + depends on OBSOLETE help M. Mazur used to maintain a tree of sanitised headers, but it is now obsoleted by the headers_install rule (above), and has not seen eny @@ -21,7 +22,8 @@ config KERNEL_LINUX_HEADERS_SANITISED config KERNEL_LINUX_HEADERS_COPY bool - prompt "pure kernel headers (NOT RECOMMENDED)" + prompt "pure kernel headers (REALLY OBSOLETE)" + depends on OBSOLETE help This will simply copy the kernel headers to the toolchain. |