config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jul 28 23:55:10 2010 +0200 (2010-07-28)
changeset 2043 efb1058baa31
parent 1603 e0ef539e23d9
child 2444 896cb0d36c1a
permissions -rw-r--r--
cc/gcc: add option to enable/disable libmudflap

For some scenarii, libmudflap is not very usefull
or can break the build. Make in an optioon that
defaults to 'N' to be on the safe side.

For the core gcc-s, there is absolutely no need
to build libmidflap.

Idea from: Bernhard Pfund <bernhard@chapter7.ch>
     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