config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Oct 27 19:34:13 2009 +0100 (2009-10-27)
changeset 1608 3d5aead9e15d
parent 1535 073d351bdcd3
child 1844 4d6a56579d9d
permissions -rw-r--r--
scripts: add sed expression to apply when renumbering patches

Some patchsets have superfluous members in their names (eg. the ones coming
from Gentoo), so it can come in handy to pass a sed RE to strip them out of
the final patch name.
Also add a 'fake' mode, where the command will only be printed and not
executed, so we can check beforehand if the rename will be OK.
     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