config/debug/dmalloc.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Mon Feb 25 21:19:31 2013 +0100 (2013-02-25)
changeset 3185 f89f8e6f8766
parent 1844 4d6a56579d9d
permissions -rw-r--r--
Makefile: fix parrallel (-j) installs

Currently, we would remove previously installed patches before
installing the new ones. Unfortunately, that does not play well
with heavily parallel installs.

Now, we consider it is the responsibility of the user to first
uninstall any previous version before installing a new one.

Reported-by: Markos Chandras <markos.chandras@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@103
     1
# dmalloc debug facility
yann@103
     2
yann@2444
     3
## depends on ! BACKEND
yann@2444
     4
##
yann@2444
     5
## help dmalloc helps tracking memory allocation mis-usage
yann@2444
     6
## help such as double-free, use-after-free...
yann@103
     7
yann@103
     8
choice
yann@103
     9
    bool
yann@103
    10
    prompt "dmalloc version"
yann@1535
    11
# Don't remove next line
yann@1535
    12
# CT_INSERT_VERSION_BELOW
yann@103
    13
yann@1534
    14
config DMALLOC_V_5_5_2
yann@1534
    15
    bool
yann@1534
    16
    prompt "5.5.2"
yann@1534
    17
yann@103
    18
endchoice
yann@103
    19
yann@103
    20
config DMALLOC_VERSION
yann@103
    21
    string
yann@1535
    22
# Don't remove next line
yann@1535
    23
# CT_INSERT_VERSION_STRING_BELOW
yann@1534
    24
    default "5.5.2" if DMALLOC_V_5_5_2