configure: we do not require curl, but wget.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
(transplanted from d84ae99556cd948350c086628a5e163e6b464e00)
1 # Alpha specific configuration file
11 config ARCH_ALPHA_EV45
19 config ARCH_ALPHA_EV56
27 config ARCH_ALPHA_EV67
33 config ARCH_ALPHA_VARIANT
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
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
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