| # Linux kernel options |
| |
| if ! KERNEL_LINUX_USE_CUSTOM_HEADERS |
| |
| 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. |
| |
| endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS |
