changeset 3126 | 333d3e40cbd1 |
parent 2484 | d1a8c2ae7946 |
1.1 --- a/config/kernel.in Tue May 31 16:27:39 2011 +0200 1.2 +++ b/config/kernel.in Tue Nov 20 16:59:17 2012 -0800 1.3 @@ -7,7 +7,7 @@ 1.4 config BARE_METAL 1.5 bool 1.6 1.7 -config MINGW32 1.8 +config WINDOWS 1.9 bool 1.10 1.11 # Each target OS (aka kernel) that support shared libraries can select