config/arch/x86.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 1345 27fec561af53
child 2444 896cb0d36c1a
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 # x86 specific options
     2 
     3 config ARCH_x86
     4     select ARCH_SUPPORTS_32
     5     select ARCH_SUPPORTS_64
     6     select ARCH_DEFAULT_32
     7     select ARCH_USE_MMU
     8     select ARCH_SUPPORT_ARCH
     9     select ARCH_SUPPORT_CPU
    10     select ARCH_SUPPORT_TUNE
    11     help
    12       The x86 architecture, as defined by:
    13         32-bit (ia32) : http://www.intel.com/
    14         64-bit (amd64): http://www.amd.com/us-en/Processors/DevelopWithAMD/0,,30_2252_875_7044,00.html