yann@448: # Linux kernel options yann@448: yann@2603: if ! KERNEL_LINUX_USE_CUSTOM_HEADERS yann@1345: yann@1345: choice yann@1345: bool yann@1345: prompt "Kernel verbosity:" yann@1345: default KERNEL_LINUX_VERBOSITY_0 yann@1345: yann@1345: config KERNEL_LINUX_VERBOSITY_0 yann@1345: bool yann@1345: prompt "Simplified" yann@1345: help yann@1345: Print simplified command lines. yann@1345: yann@1345: config KERNEL_LINUX_VERBOSITY_1 yann@1345: bool yann@1345: prompt "Full commands" yann@1345: help yann@1345: Print full command lines. yann@1345: yann@1345: config KERNEL_LINUX_VERBOSITY_2 yann@1345: bool yann@1345: prompt "Exec reasons" yann@1345: help yann@1345: Print the reasons why a make target is rebuild. yann@1345: yann@1345: endchoice yann@1345: yann@1345: config KERNEL_LINUX_VERBOSE_LEVEL yann@1345: int yann@1345: default 0 if KERNEL_LINUX_VERBOSITY_0 yann@1345: default 1 if KERNEL_LINUX_VERBOSITY_1 yann@1345: default 2 if KERNEL_LINUX_VERBOSITY_2 yann@1345: yann@1989: config KERNEL_LINUX_INSTALL_CHECK yann@1989: bool yann@1989: prompt "Check installed headers" yann@1989: default y yann@1989: help yann@1989: If you are in doubt that installed headers are buggy, say 'Y' yann@1989: here to have an extra check passed onto the headers. yann@1989: yann@2603: endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS