config/arch/alpha.in.2
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Tue Aug 02 18:28:10 2011 +0200 (2011-08-02)
changeset 2590 b64cfb67944e
parent 1716 6bbf206a5b57
permissions -rw-r--r--
scripts/functions: svn retrieval first tries the mirror for tarballs

The svn download helper looks for the local tarballs dir to see if it
can find a pre-downloaded tarball, and if it does not find it, does
the actual fetch to upstream via svn.

In the process, it does not even try to get a tarball from the local
mirror, which can be useful if the mirror has been pre-populated
manually (or with a previously downloaded tree).

Fake a tarball get with the standard tarball-download helper, but
without specifying any upstream URL, which makes the helper directly
try the LAN mirror.

Of course, if no mirror is specified, no URL wil be available, and
the standard svn retrieval will kick in.

Reported-by: ANDY KENNEDY <ANDY.KENNEDY@adtran.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
     1 # Alpha specific configuration file
     2 
     3 choice
     4     bool
     5     prompt "Variant"
     6 
     7 config ARCH_ALPHA_EV4
     8     bool
     9     prompt "EV4"
    10 
    11 config ARCH_ALPHA_EV45
    12     bool
    13     prompt "EV45"
    14 
    15 config ARCH_ALPHA_EV5
    16     bool
    17     prompt "EV5"
    18 
    19 config ARCH_ALPHA_EV56
    20     bool
    21     prompt "EV56"
    22 
    23 config ARCH_ALPHA_EV6
    24     bool
    25     prompt "EV6"
    26 
    27 config ARCH_ALPHA_EV67
    28     bool
    29     prompt "EV67"
    30 
    31 endchoice
    32 
    33 config ARCH_ALPHA_VARIANT
    34     string
    35     default "ev4"   if ARCH_ALPHA_EV4
    36     default "ev45"  if ARCH_ALPHA_EV45
    37     default "ev5"   if ARCH_ALPHA_EV5
    38     default "ev56"  if ARCH_ALPHA_EV56
    39     default "ev6"   if ARCH_ALPHA_EV6
    40     default "ev67"  if ARCH_ALPHA_EV67
    41 
    42 config ARCH_CPU
    43     default "ev4"   if ARCH_ALPHA_EV4
    44     default "ev45"  if ARCH_ALPHA_EV45
    45     default "ev5"   if ARCH_ALPHA_EV5
    46     default "ev56"  if ARCH_ALPHA_EV56
    47     default "ev6"   if ARCH_ALPHA_EV6
    48     default "ev67"  if ARCH_ALPHA_EV67
    49 
    50 config ARCH_TUNE
    51     default "ev4"   if ARCH_ALPHA_EV4
    52     default "ev45"  if ARCH_ALPHA_EV45
    53     default "ev5"   if ARCH_ALPHA_EV5
    54     default "ev56"  if ARCH_ALPHA_EV56
    55     default "ev6"   if ARCH_ALPHA_EV6
    56     default "ev67"  if ARCH_ALPHA_EV67