config/tools/sstrip.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 1242 470541ef2b72
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@149
     1
# Configuration file for sstrip tool facility
yann@149
     2
yann@916
     3
config TOOL_sstrip
yann@149
     4
    help
yann@149
     5
      The sstrip utility, to maximise the striping of ELF binaries
yann@149
     6
      (executables and libraries).
yann@149
     7
yann@149
     8
choice
yann@149
     9
    bool
yann@149
    10
    prompt "Use sstrip from:"
yann@149
    11
yann@149
    12
config SSTRIP_BUILDROOT
yann@149
    13
    bool
yann@149
    14
    prompt "buildroot"
yann@149
    15
    help
yann@875
    16
      Buildroot version, forked off the original from ELFkickers.  This one
yann@875
    17
      is somewhat maintained by the buildroot guys.   
yann@875
    18
      Supports big-endian systems.
yann@149
    19
yann@1242
    20
config SSTRIP_ELFKICKERS
yann@1242
    21
    bool
yann@1615
    22
    prompt "ELFkickers (OBSOLETE)"
yann@1615
    23
    depends on OBSOLETE
yann@1242
    24
    help
yann@1242
    25
      The original, ageing version, of sstrip from ELFkickers.
yann@1242
    26
      Fully functional, but not maintained anymore.
yann@1242
    27
yann@149
    28
endchoice
yann@149
    29
yann@149
    30
config SSTRIP_FROM
yann@149
    31
    string
yann@149
    32
    default "ELFkickers"    if SSTRIP_ELFKICKERS
yann@149
    33
    default "buildroot"     if SSTRIP_BUILDROOT
yann@149
    34
yann@149
    35
if SSTRIP_ELFKICKERS
yann@149
    36
yann@149
    37
config SSTRIP_ELFKICKERS_VERSION
yann@149
    38
    string
yann@149
    39
    default "2.0a"
yann@149
    40
yann@149
    41
endif