# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1251643671 -7200
# Node ID f1ee20bc057e04a25ec4e99e3fe117cce2419e56
# Parent  ff1f40a8f9c1de6a44d7d567e41f52feb3bdac85
config: Linux kernel selectes shared libraries support

The Linux kernel supports using shared libraries, so prompt the user.

diff -r ff1f40a8f9c1 -r f1ee20bc057e config/kernel/linux.in
--- a/config/kernel/linux.in	Sun Aug 30 16:44:59 2009 +0200
+++ b/config/kernel/linux.in	Sun Aug 30 16:47:51 2009 +0200
@@ -3,6 +3,7 @@
 # Linux kernel options
 
 config KERNEL_linux
+    select KERNEL_SUPPORTS_SHARED_LIBS
     help
       Build a toolchain targeting systems running Linux as a kernel.