config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sat Jan 22 23:20:18 2011 +0100 (2011-01-22)
changeset 2305 2ed26c646568
parent 1603 e0ef539e23d9
child 2444 896cb0d36c1a
permissions -rw-r--r--
scripts: create the makeinfo wrapper before we set PATH

If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
yann@103
     1
# dmalloc debug facility
yann@1844
     2
# depends on ! BACKEND
yann@103
     3
yann@916
     4
config DEBUG_dmalloc
yann@103
     5
    bool
yann@103
     6
yann@103
     7
choice
yann@103
     8
    bool
yann@103
     9
    prompt "dmalloc version"
yann@1535
    10
# Don't remove next line
yann@1535
    11
# CT_INSERT_VERSION_BELOW
yann@103
    12
yann@1534
    13
config DMALLOC_V_5_5_2
yann@1534
    14
    bool
yann@1534
    15
    prompt "5.5.2"
yann@1534
    16
yann@103
    17
endchoice
yann@103
    18
yann@103
    19
config DMALLOC_VERSION
yann@103
    20
    string
yann@1535
    21
# Don't remove next line
yann@1535
    22
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    23
    default "5.5.2" if DMALLOC_V_5_5_2