# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1270144374 -7200
# Node ID 2c577664a23d30aec01beefd9a3d13e3a94516a2
# Parent  b579a5cb53d1f35e2c47ab23accd02dcaedba9ac
config: allow libc selection in backend mode

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

diff -r b579a5cb53d1 -r 2c577664a23d config/backend.in
--- a/config/backend.in	Thu Apr 01 19:45:28 2010 +0200
+++ b/config/backend.in	Thu Apr 01 19:52:54 2010 +0200
@@ -16,3 +16,7 @@
 config BACKEND_KERNEL
     string
     option env="CT_BACKEND_KERNEL"
+
+config BACKEND_LIBC
+    string
+    option env="CT_BACKEND_LIBC"
diff -r b579a5cb53d1 -r 2c577664a23d config/config.mk
--- a/config/config.mk	Thu Apr 01 19:45:28 2010 +0200
+++ b/config/config.mk	Thu Apr 01 19:52:54 2010 +0200
@@ -164,7 +164,7 @@
 	$(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))