config/backend.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Nov 16 17:49:15 2010 +0100 (2010-11-16)
changeset 2204 ea1c9143e1e3
parent 1877 b579a5cb53d1
child 2484 d1a8c2ae7946
permissions -rw-r--r--
scripts: call curl and wget in sequence

It can happen, in some circumpstances, than one can succeed where
the other would fail. Those cases involves convoluted enterprise
networks with proxies playing tricks.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # Options specific to crosstool-NG acting as a backend
     2 
     3 config IS_A_BACKEND
     4     string
     5     option env="CT_IS_A_BACKEND"
     6 
     7 config BACKEND
     8     bool
     9     default y if IS_A_BACKEND =  "y" || IS_A_BACKEND =  "Y"
    10     default n if IS_A_BACKEND != "y" && IS_A_BACKEND != "Y"
    11 
    12 config BACKEND_ARCH
    13     string
    14     option env="CT_BACKEND_ARCH"
    15 
    16 config BACKEND_KERNEL
    17     string
    18     option env="CT_BACKEND_KERNEL"
    19 
    20 config BACKEND_LIBC
    21     string
    22     option env="CT_BACKEND_LIBC"