diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-30 14:44:59 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-08-30 14:44:59 (GMT) |
| commit | 8d7dcccad5718cf4c18e52bec3b009642d6cb1b4 (patch) | |
| tree | a4441492b52840aef69ca6d561cc02760544ba6a /config | |
| parent | 94dbc02a8ba4a7acdf9f3d6de5b48926331816c1 (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.
Diffstat (limited to 'config')
| -rw-r--r-- | config/kernel.in | 7 |
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 |