From ce111fe36f71a9bd732c269eeb5e177809d0dd41 Mon Sep 17 00:00:00 2001
From: "Yann E. MORIN\"" <yann.morin.1998@anciens.enib.fr>
Date: Thu, 1 Apr 2010 19:52:54 +0200
Subject: config: allow libc selection in backend mode

In backend mode, allow the upper-layer build system to force the
C library selection.

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))
-- 
cgit v0.10.2-6-g49f6