Mercurialcrosstool-ng / file revision
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | latest | revisions | annotate | diff | raw | help
config/companion_libs/ppl.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 1386 7995942261f2
child 2072 72b3996ba3e6
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 # PPL options

     2 

     3 choice

     4     bool

     5     prompt "PPL version"

     6 # Don't remove next line

     7 # CT_INSERT_VERSION_BELOW

     8 

     9 config PPL_V_0_10_2

    10     bool

    11     prompt "0.10.2"

    12 

    13 endchoice

    14 

    15 config PPL_VERSION

    16     string

    17 # Don't remove next line

    18 # CT_INSERT_VERSION_STRING_BELOW

    19     default "0.10.2" if PPL_V_0_10_2
crosstool-ng