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