diff options
Diffstat (limited to 'config/kernel/linux.in')
-rw-r--r-- | config/kernel/linux.in | 41 |
1 files changed, 40 insertions, 1 deletions
diff --git a/config/kernel/linux.in b/config/kernel/linux.in index e1edb48..52bc9d7 100644 --- a/config/kernel/linux.in +++ b/config/kernel/linux.in @@ -2,7 +2,7 @@ ## depends on ! ARCH_avr ## select KERNEL_SUPPORTS_SHARED_LIBS -## + ## help Build a toolchain targeting systems running Linux as a kernel. # GLIBC and kernel are special when it comes to obsoletion. Users @@ -13,3 +13,42 @@ # Such pinned versions are indicated in version.desc files with a comment. source "config/versions/linux.in" + +choice + bool + prompt "Kernel verbosity:" + default KERNEL_LINUX_VERBOSITY_0 + +config KERNEL_LINUX_VERBOSITY_0 + bool + prompt "Simplified" + help + Print simplified command lines. + +config KERNEL_LINUX_VERBOSITY_1 + bool + prompt "Full commands" + help + Print full command lines. + +config KERNEL_LINUX_VERBOSITY_2 + bool + prompt "Exec reasons" + help + Print the reasons why a make target is rebuild. + +endchoice + +config KERNEL_LINUX_VERBOSE_LEVEL + int + default 0 if KERNEL_LINUX_VERBOSITY_0 + default 1 if KERNEL_LINUX_VERBOSITY_1 + default 2 if KERNEL_LINUX_VERBOSITY_2 + +config KERNEL_LINUX_INSTALL_CHECK + bool + prompt "Check installed headers" + default y + help + If you are in doubt that installed headers are buggy, say 'Y' + here to have an extra check passed onto the headers. |