config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 02 20:06:44 2009 +0200 (2009-08-02)
changeset 1446 0a44fc4d6bd0
parent 850 ef8549b58b6f
child 1534 d4ddf19a1968
permissions -rw-r--r--
[config] Allow user to specify custom CONFIG_SHELL

In case the shell the user wants to use as CONFIG_SHELL is located in a
weird place (eg. /opt/bash/bin/bash), or is weirdly named (eg. bash-4),
let the user enter the patch to the shell.
     1 # dmalloc debug facility
     2 
     3 config DEBUG_dmalloc
     4     bool
     5 
     6 choice
     7     bool
     8     prompt "dmalloc version"
     9 
    10 config DMALLOC_V_5_4_3
    11     bool
    12     prompt "5.4.3 (OBSOLETE)"
    13     depends on OBSOLETE
    14 
    15 config DMALLOC_V_5_5_2
    16     bool
    17     prompt "5.5.2"
    18 
    19 # CT_INSERT_VERSION_ABOVE
    20 # Don't remove above line!
    21 endchoice
    22 
    23 config DMALLOC_VERSION
    24     string
    25     default "5.4.3" if DMALLOC_V_5_4_3
    26     default "5.5.2" if DMALLOC_V_5_5_2
    27 # CT_INSERT_VERSION_STRING_ABOVE
    28 # Don't remove above line!