config/debug/dmalloc.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.
yann@103
     1
# dmalloc debug facility
yann@103
     2
yann@916
     3
config DEBUG_dmalloc
yann@103
     4
    bool
yann@103
     5
yann@103
     6
choice
yann@103
     7
    bool
yann@103
     8
    prompt "dmalloc version"
yann@1535
     9
# Don't remove next line
yann@1535
    10
# CT_INSERT_VERSION_BELOW
yann@103
    11
yann@1534
    12
config DMALLOC_V_5_5_2
yann@1534
    13
    bool
yann@1534
    14
    prompt "5.5.2"
yann@1534
    15
yann@103
    16
endchoice
yann@103
    17
yann@103
    18
config DMALLOC_VERSION
yann@103
    19
    string
yann@1535
    20
# Don't remove next line
yann@1535
    21
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    22
    default "5.5.2" if DMALLOC_V_5_5_2