config/libc/mingw.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 21 22:42:35 2011 +0200 (2011-09-21)
branch1.12
changeset 2685 86010f887870
parent 2017 f637b6c2162b
child 3112 6cb56b3f2d34
permissions -rw-r--r--
kernel/linux: add alternate download locations

Since kernel.org is dead, and there is no announced or known estimated
time or return to normality, it is impossible to download any kernel at
this time.

Add a known-working mirror.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
(transplanted from 7df89370f80537d1b36b2fda70e3a1c6bc237a65)
     1 # mingw options
     2 
     3 ## depends on MINGW32
     4 ##
     5 ## select LIBC_SUPPORT_WIN32THREADS
     6 ##
     7 ## help The de-facto standard for Mingw distributions.
     8 
     9 choice
    10     bool
    11     prompt "Mingw runtime version"
    12 
    13 # Don't remove next line
    14 # CT_INSERT_VERSION_BELOW
    15 config MINGWRT_V_3_18
    16     bool
    17     prompt "3.18"
    18 
    19 config MINGWRT_V_select
    20     bool
    21     prompt "Other version"
    22 
    23 endchoice
    24 
    25 config MINGWRT_VERSION
    26     string
    27     prompt "Mingw runtime version" if MINGWRT_V_select
    28 # Don't remove next line
    29 # CT_INSERT_VERSION_STRING_BELOW
    30     default "3.18" if MINGWRT_V_3_18
    31     help
    32       Enter the version number of the mingw runtime files to use
    33