config/kernel/linux.in
changeset 1500 f1ee20bc057e
parent 1473 5377799f236e
child 1526 b849649bc89d
     1.1 --- a/config/kernel/linux.in	Wed Aug 19 17:05:42 2009 +0200
     1.2 +++ b/config/kernel/linux.in	Sun Aug 30 16:47:51 2009 +0200
     1.3 @@ -3,6 +3,7 @@
     1.4  # Linux kernel options
     1.5  
     1.6  config KERNEL_linux
     1.7 +    select KERNEL_SUPPORTS_SHARED_LIBS
     1.8      help
     1.9        Build a toolchain targeting systems running Linux as a kernel.
    1.10