config/kernel.in
changeset 2017 f637b6c2162b
parent 1976 2d90ec981ba3
child 2484 d1a8c2ae7946
     1.1 --- a/config/kernel.in	Tue Jun 08 23:26:54 2010 +0200
     1.2 +++ b/config/kernel.in	Sun Jul 11 21:36:20 2010 +0200
     1.3 @@ -8,6 +8,10 @@
     1.4      bool
     1.5      default n
     1.6  
     1.7 +config MINGW32
     1.8 +    bool
     1.9 +    default n
    1.10 +
    1.11  # Each target OS (aka kernel) that support shared libraries can select
    1.12  # this, so the user can decide whether or not to build a shared library
    1.13  # enabled toolchain