config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Sep 13 18:44:17 2009 +0200 (2009-09-13)
changeset 1536 28dfc4fc15e9
parent 1534 d4ddf19a1968
child 1615 50b25816f5bb
permissions -rw-r--r--
config: fix indentation for options marked EXPERIMENTAL or OBSOLETE

Change the 2-space separation into a 1-space separation, for the sake
of homogeneity.
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 
     3 config DEBUG_duma
     4     help
     5       D.U.M.A. - Detect Unintended Memory Access
     6       A memory bound checker, with additional features.
     7       Formerly known as Electric Fence.
     8 
     9 config DUMA_A
    10     bool
    11     prompt "Build a static library"
    12     default y
    13 
    14 config DUMA_SO
    15     bool
    16     prompt "Build a shared library"
    17     default y if SHARED_LIBS
    18     default n if ! SHARED_LIBS
    19 
    20 choice
    21     bool
    22     prompt "D.U.M.A. version"
    23 # Don't remove next line
    24 # CT_INSERT_VERSION_BELOW
    25 
    26 config DUMA_V_2_5_15
    27     bool
    28     prompt "2_5_15"
    29 
    30 config DUMA_V_2_5_14
    31     bool
    32     prompt "2_5_14"
    33 
    34 config DUMA_V_2_5_12
    35     bool
    36     prompt "2_5_12"
    37 
    38 config DUMA_V_2_5_8
    39     bool
    40     prompt "2_5_8"
    41 
    42 config DUMA_V_2_5_1
    43     bool
    44     prompt "2_5_1"
    45 
    46 endchoice
    47 
    48 config DUMA_VERSION
    49     string
    50 # Don't remove next line
    51 # CT_INSERT_VERSION_STRING_BELOW
    52     default "2_5_15" if DUMA_V_2_5_15
    53     default "2_5_14" if DUMA_V_2_5_14
    54     default "2_5_12" if DUMA_V_2_5_12
    55     default "2_5_8" if DUMA_V_2_5_8
    56     default "2_5_1" if DUMA_V_2_5_1