config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Nov 10 19:32:11 2009 +0100 (2009-11-10)
changeset 1622 9ad2a3fd1fcc
parent 1535 073d351bdcd3
child 1844 4d6a56579d9d
permissions -rw-r--r--
scripts: output renumbered patches in a new directory

When renumbering patches, the original patches get removed and replaced
with the new ones. This can be annoying to loose the original patches.
Fix this by putting the new patchs in a directory of their own.
     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 (OBSOLETE)"
    33     depends on OBSOLETE
    34 
    35 config DUMA_V_2_5_12
    36     bool
    37     prompt "2_5_12 (OBSOLETE)"
    38     depends on OBSOLETE
    39 
    40 config DUMA_V_2_5_8
    41     bool
    42     prompt "2_5_8 (OBSOLETE)"
    43     depends on OBSOLETE
    44 
    45 config DUMA_V_2_5_1
    46     bool
    47     prompt "2_5_1 (OBSOLETE)"
    48     depends on OBSOLETE
    49 
    50 endchoice
    51 
    52 config DUMA_VERSION
    53     string
    54 # Don't remove next line
    55 # CT_INSERT_VERSION_STRING_BELOW
    56     default "2_5_15" if DUMA_V_2_5_15
    57     default "2_5_14" if DUMA_V_2_5_14
    58     default "2_5_12" if DUMA_V_2_5_12
    59     default "2_5_8" if DUMA_V_2_5_8
    60     default "2_5_1" if DUMA_V_2_5_1