config: Linux kernel selectes shared libraries support
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Sun Aug 30 16:47:51 2009 +0200 (2009-08-30)
changeset 1500f1ee20bc057e
parent 1499 ff1f40a8f9c1
child 1501 3bf289921a80
config: Linux kernel selectes shared libraries support

The Linux kernel supports using shared libraries, so prompt the user.
config/kernel/linux.in
     1.1 --- a/config/kernel/linux.in	Sun Aug 30 16:44:59 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