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