summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-30 14:44:59 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2009-08-30 14:44:59 (GMT)
commit8d7dcccad5718cf4c18e52bec3b009642d6cb1b4 (patch)
treea4441492b52840aef69ca6d561cc02760544ba6a
parent94dbc02a8ba4a7acdf9f3d6de5b48926331816c1 (diff)
config: introduce the KERNEL_SUPPORTS_SHARED_LIBS silent config option
The target OSes will be able to select this option if they support shared libraries, instead of having "Build shared libaries" depend on each OS.
-rw-r--r--config/kernel.in7
1 files changed, 7 insertions, 0 deletions
diff --git a/config/kernel.in b/config/kernel.in
index 9c701e1..d3ae6dc 100644
--- a/config/kernel.in
+++ b/config/kernel.in
@@ -8,6 +8,13 @@ config BARE_METAL
bool
default n
+# Each target OS (aka kernel) that support shared libraries can select
+# this, so the user can decide whether or not to build a shared library
+# enabled toolchain
+config KERNEL_SUPPORTS_SHARED_LIBS
+ bool
+ default n
+
config KERNEL
string