config/kernel/linux.in.2
author danielrubiob@gmail.com
Tue Feb 11 21:34:48 2014 +0100 (2014-02-11)
changeset 3285 a8cb9039fade
parent 2446 d902cd77419f
permissions -rw-r--r--
complibs/cloog: bump version

Signed-off-by: Daniel Rubio Bonilla <danielrubiob@gmail.com>
[yann.morin.1998@free.fr: re-order versions]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Cc: Cody P Schafer <dev@codyps.com>
Message-Id: <c2de3964cd6d5e4173cc.1391984023@uemo>
Patchwork-Id: 318637
yann@448
     1
# Linux kernel options
yann@448
     2
yann@2603
     3
if ! KERNEL_LINUX_USE_CUSTOM_HEADERS
yann@1345
     4
yann@1345
     5
choice
yann@1345
     6
    bool
yann@1345
     7
    prompt "Kernel verbosity:"
yann@1345
     8
    default KERNEL_LINUX_VERBOSITY_0
yann@1345
     9
yann@1345
    10
config KERNEL_LINUX_VERBOSITY_0
yann@1345
    11
    bool
yann@1345
    12
    prompt "Simplified"
yann@1345
    13
    help
yann@1345
    14
      Print simplified command lines.
yann@1345
    15
yann@1345
    16
config KERNEL_LINUX_VERBOSITY_1
yann@1345
    17
    bool
yann@1345
    18
    prompt "Full commands"
yann@1345
    19
    help
yann@1345
    20
      Print full command lines.
yann@1345
    21
yann@1345
    22
config KERNEL_LINUX_VERBOSITY_2
yann@1345
    23
    bool
yann@1345
    24
    prompt "Exec reasons"
yann@1345
    25
    help
yann@1345
    26
      Print the reasons why a make target is rebuild.
yann@1345
    27
yann@1345
    28
endchoice
yann@1345
    29
yann@1345
    30
config KERNEL_LINUX_VERBOSE_LEVEL
yann@1345
    31
    int
yann@1345
    32
    default 0 if KERNEL_LINUX_VERBOSITY_0
yann@1345
    33
    default 1 if KERNEL_LINUX_VERBOSITY_1
yann@1345
    34
    default 2 if KERNEL_LINUX_VERBOSITY_2
yann@1345
    35
yann@1989
    36
config KERNEL_LINUX_INSTALL_CHECK
yann@1989
    37
    bool
yann@1989
    38
    prompt "Check installed headers"
yann@1989
    39
    default y
yann@1989
    40
    help
yann@1989
    41
      If you are in doubt that installed headers are buggy, say 'Y'
yann@1989
    42
      here to have an extra check passed onto the headers.
yann@1989
    43
yann@2603
    44
endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS