config/debug/duma.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Fri Jan 01 17:09:52 2010 +0100 (2010-01-01)
changeset 1673 ecb7fcc4edb0
parent 1535 073d351bdcd3
child 1844 4d6a56579d9d
permissions -rw-r--r--
scripts/functions: fix downloading with aria2

In case the remote file does not exist (and probably for some
other reasons as well), aria2 nonetheless creates an empty file
(or not empty for some other reasons).

The solution is to delete the file whenever aria2 fails.
     1 # D.U.M.A. - Detect Unintended Memory Access - Memory checker
     2 
     3 config DEBUG_duma
     4     help
     5       D.U.M.A. - Detect Unintended Memory Access
     6       A memory bound checker, with additional features.
     7       Formerly known as Electric Fence.
     8 
     9 config DUMA_A
    10     bool
    11     prompt "Build a static library"
    12     default y
    13 
    14 config DUMA_SO
    15     bool
    16     prompt "Build a shared library"
    17     default y if SHARED_LIBS
    18     default n if ! SHARED_LIBS
    19 
    20 choice
    21     bool
    22     prompt "D.U.M.A. version"
    23 # Don't remove next line
    24 # CT_INSERT_VERSION_BELOW
    25 
    26 config DUMA_V_2_5_15
    27     bool
    28     prompt "2_5_15"
    29 
    30 config DUMA_V_2_5_14
    31     bool
    32     prompt "2_5_14 (OBSOLETE)"
    33     depends on OBSOLETE
    34 
    35 config DUMA_V_2_5_12
    36     bool
    37     prompt "2_5_12 (OBSOLETE)"
    38     depends on OBSOLETE
    39 
    40 config DUMA_V_2_5_8
    41     bool
    42     prompt "2_5_8 (OBSOLETE)"
    43     depends on OBSOLETE
    44 
    45 config DUMA_V_2_5_1
    46     bool
    47     prompt "2_5_1 (OBSOLETE)"
    48     depends on OBSOLETE
    49 
    50 endchoice
    51 
    52 config DUMA_VERSION
    53     string
    54 # Don't remove next line
    55 # CT_INSERT_VERSION_STRING_BELOW
    56     default "2_5_15" if DUMA_V_2_5_15
    57     default "2_5_14" if DUMA_V_2_5_14
    58     default "2_5_12" if DUMA_V_2_5_12
    59     default "2_5_8" if DUMA_V_2_5_8
    60     default "2_5_1" if DUMA_V_2_5_1