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