configure: we do not require curl, but wget.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
(transplanted from d84ae99556cd948350c086628a5e163e6b464e00)
1 # MIPS specific config options
12 This is the -mabi=32 gcc option.
19 This is the -mabi=n32 gcc option.
26 This is the -mabi=64 gcc option.
28 # Not supported on Linux:
29 # o64 : seems related to *BSD
30 # eabi : seems related to bare-metal
36 default "32" if ARCH_mips_o32
37 default "n32" if ARCH_mips_n32
38 default "64" if ARCH_mips_n64