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.
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@103
     9
yann@103
    10
config DMALLOC_V_5_4_3
yann@103
    11
    bool
yann@330
    12
    prompt "5.4.3 (OBSOLETE)"
yann@103
    13
    depends on OBSOLETE
yann@103
    14
yann@103
    15
config DMALLOC_V_5_5_2
yann@103
    16
    bool
yann@103
    17
    prompt "5.5.2"
yann@103
    18
yann@103
    19
# CT_INSERT_VERSION_ABOVE
yann@103
    20
# Don't remove above line!
yann@103
    21
endchoice
yann@103
    22
yann@103
    23
config DMALLOC_VERSION
yann@103
    24
    string
yann@103
    25
    default "5.4.3" if DMALLOC_V_5_4_3
yann@103
    26
    default "5.5.2" if DMALLOC_V_5_5_2
yann@103
    27
# CT_INSERT_VERSION_STRING_ABOVE
yann@103
    28
# Don't remove above line!