config/kernel.in
changeset 1499 ff1f40a8f9c1
parent 1337 7f742f73c2d1
child 1502 472cfde636a1
     1.1 --- a/config/kernel.in	Wed May 13 20:55:15 2009 +0000
     1.2 +++ b/config/kernel.in	Sun Aug 30 16:44:59 2009 +0200
     1.3 @@ -8,6 +8,13 @@
     1.4      bool
     1.5      default n
     1.6  
     1.7 +# Each target OS (aka kernel) that support shared libraries can select
     1.8 +# this, so the user can decide whether or not to build a shared library
     1.9 +# enabled toolchain
    1.10 +config KERNEL_SUPPORTS_SHARED_LIBS
    1.11 +    bool
    1.12 +    default n
    1.13 +
    1.14  config KERNEL
    1.15      string
    1.16