config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Jun 15 22:02:45 2008 +0000 (2008-06-15)
changeset 564 30fbb26a83b4
parent 105 5a8d4f6a19c7
child 850 ef8549b58b6f
permissions -rw-r--r--
Some makeinfo versions are a pain in [somewhere very painful].
Work this around with a wrapper that always succeeds, and leave incomplete files in place.

/trunk/scripts/crosstool.sh | 7 7 0 0 +++++++
1 file changed, 7 insertions(+)
     1 # dmalloc debug facility
     2 
     3 menuconfig DMALLOC
     4     bool
     5     prompt "dmalloc"
     6     default n
     7 
     8 if DMALLOC
     9 
    10 choice
    11     bool
    12     prompt "dmalloc version"
    13 
    14 config DMALLOC_V_5_4_3
    15     bool
    16     prompt "5.4.3 (OBSOLETE)"
    17     depends on OBSOLETE
    18 
    19 config DMALLOC_V_5_5_2
    20     bool
    21     prompt "5.5.2"
    22 
    23 # CT_INSERT_VERSION_ABOVE
    24 # Don't remove above line!
    25 endchoice
    26 
    27 config DMALLOC_VERSION
    28     string
    29     default "5.4.3" if DMALLOC_V_5_4_3
    30     default "5.5.2" if DMALLOC_V_5_5_2
    31 # CT_INSERT_VERSION_STRING_ABOVE
    32 # Don't remove above line!
    33 
    34 endif