config/kernel/mingw32.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Jul 14 19:11:12 2010 +0200 (2010-07-14)
changeset 2023 4795f92f58a6
child 2027 38cc05a621f0
permissions -rw-r--r--
complibs/ppl: backout #9f0de857cb05

The patch breaks the build on most machines,
while the purpose of the patch is dubious.
So, simply back it out.
     1 # mingw32 config options
     2 
     3 config KERNEL_mingw32
     4     select MINGW32
     5     help
     6       Build a toolchain targeting systems running Windows as host
     7 
     8 choice
     9     bool
    10     prompt "Windows api version"
    11 
    12 # Don't remove next line
    13 # CT_INSERT_VERSION_BELOW
    14 config W32API_V_3_14
    15     bool
    16     prompt "3.14"
    17 
    18 config W32API_V_select
    19     bool
    20     prompt "Other version"
    21 
    22 endchoice
    23 
    24 config W32API_VERSION
    25     string
    26     prompt "W32 api version" if W32API_V_select
    27 # Don't remove next line
    28 # CT_INSERT_VERSION_STRING_BELOW
    29     default "3.14" if W32API_V_3_14
    30     help
    31       Enter the version number of the windows api files to use
    32