config: allow libc selection in backend mode
author"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Thu Apr 01 19:52:54 2010 +0200 (2010-04-01)
changeset 18782c577664a23d
parent 1877 b579a5cb53d1
child 1879 b4ce08060b6f
config: allow libc selection in backend mode

In backend mode, allow the upper-layer build system to force the
C library selection.
config/backend.in
config/config.mk
     1.1 --- a/config/backend.in	Thu Apr 01 19:45:28 2010 +0200
     1.2 +++ b/config/backend.in	Thu Apr 01 19:52:54 2010 +0200
     1.3 @@ -16,3 +16,7 @@
     1.4  config BACKEND_KERNEL
     1.5      string
     1.6      option env="CT_BACKEND_KERNEL"
     1.7 +
     1.8 +config BACKEND_LIBC
     1.9 +    string
    1.10 +    option env="CT_BACKEND_LIBC"
     2.1 --- a/config/config.mk	Thu Apr 01 19:45:28 2010 +0200
     2.2 +++ b/config/config.mk	Thu Apr 01 19:52:54 2010 +0200
     2.3 @@ -164,7 +164,7 @@
     2.4  	$(call build_gen_choice_in,$@,C compiler,CC,config/cc,,$(CCS))
     2.5  
     2.6  config.gen/libc.in: $(LIBC_CONFIG_FILES)
     2.7 -	$(call build_gen_choice_in,$@,C library,LIBC,config/libc,,$(LIBCS))
     2.8 +	$(call build_gen_choice_in,$@,C library,LIBC,config/libc,Y,$(LIBCS))
     2.9  
    2.10  config.gen/debug.in: $(DEBUG_CONFIG_FILES)
    2.11  	$(call build_gen_menu_in,$@,Debug,DEBUG,config/debug,$(DEBUGS))