summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-04-01 17:52:54 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-04-01 17:52:54 (GMT)
commitce111fe36f71a9bd732c269eeb5e177809d0dd41 (patch)
tree16ff3761e0201f1d7ed3e0800627ccb7ed55f39d
parent5a6f29c1d12064eba221809c13175ebf3d327321 (diff)
config: allow libc selection in backend mode
In backend mode, allow the upper-layer build system to force the C library selection.
-rw-r--r--config/backend.in4
-rw-r--r--config/config.mk2
2 files changed, 5 insertions, 1 deletions
diff --git a/config/backend.in b/config/backend.in
index 7dcf4e3..4709fae 100644
--- a/config/backend.in
+++ b/config/backend.in
@@ -16,3 +16,7 @@ config BACKEND_ARCH
config BACKEND_KERNEL
string
option env="CT_BACKEND_KERNEL"
+
+config BACKEND_LIBC
+ string
+ option env="CT_BACKEND_LIBC"
diff --git a/config/config.mk b/config/config.mk
index f56ebde..c0247b1 100644
--- a/config/config.mk
+++ b/config/config.mk
@@ -164,7 +164,7 @@ config.gen/cc.in: $(CC_CONFIG_FILES)
$(call build_gen_choice_in,$@,C compiler,CC,config/cc,,$(CCS))
config.gen/libc.in: $(LIBC_CONFIG_FILES)
- $(call build_gen_choice_in,$@,C library,LIBC,config/libc,,$(LIBCS))
+ $(call build_gen_choice_in,$@,C library,LIBC,config/libc,Y,$(LIBCS))
config.gen/debug.in: $(DEBUG_CONFIG_FILES)
$(call build_gen_menu_in,$@,Debug,DEBUG,config/debug,$(DEBUGS))