config/global.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 693 458facedc485
child 2040 c0162f201864
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@1
     1
# Overall toolchain configuration: paths, jobs, etc...
yann@1
     2
yann@1
     3
menu "Paths and misc options"
yann@1
     4
yann@446
     5
source "config/global/ct-behave.in"
yann@694
     6
source "config/global/paths.in"
yann@693
     7
source "config/global/download.in"
yann@693
     8
source "config/global/extract.in"
yann@446
     9
source "config/global/build-behave.in"
yann@446
    10
source "config/global/logging.in"
yann@1
    11
yann@1
    12
endmenu