kernel/linux: deprecate copying headers from pre-instaleld headers

No-one ever inquired about this feature. Due to the way it works, it is
rather unlikely that every user used a properly-formatted tarball, or a
properly structured directory as imput.

Beside, it is not really easy to maintain: I just spent one full day
remembering how it worked... Sigh... :-(

Just deprecate this, until next release, or until someone complains.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>

1 files changed, 7 insertions, 15 deletions

diff --git a/config/kernel/linux.in b/config/kernel/linux.in
index 5c2bf5f..3f2d0cd 100644
--- a/config/kernel/linux.in
+++ b/config/kernel/linux.in
@@ -4,20 +4,10 @@
 ##
 ## help Build a toolchain targeting systems running Linux as a kernel.
 
-choice
-    bool
-    prompt "Get kernel headers from:"
-
-config KERNEL_LINUX_INSTALL
-    bool
-    prompt "kernel's 'headers_install'"
-    help
-      This will make use of the new headers_install rule in recent kernels.
-      This is most probably what you want to use.
-
 config KERNEL_LINUX_USE_CUSTOM_HEADERS
     bool
-    prompt "pre-installed headers tree"
+    prompt "Use pre-installed headers tree (OBSOLETE)"
+    depends on OBSOLETE
     help
       If you have some pre-installed kernel headers lying around, you can
       enter the path to these headers, below, they will be copied from
@@ -25,10 +15,12 @@ config KERNEL_LINUX_USE_CUSTOM_HEADERS
       
       Note:
       This will *not* let you use a complete kernel tree!
-      If you want to use your own full kernel tree, then you want to
-      say 'Y' to KERNEL_LINUX_INSTALL, above, and select KERNEL_LINUX_CUSTOM.
+      If you want to use your own full kernel tree, then you want to say 'N'
+      here, and select KERNEL_LINUX_CUSTOM, in the versions list, below.
 
-endchoice
+config KERNEL_LINUX_INSTALL
+    bool
+    default y if ! KERNEL_LINUX_USE_CUSTOM_HEADERS
 
 if KERNEL_LINUX_INSTALL