Makefile
changeset 117 80c4338ec0a0
parent 96 aa1a9fbd6eb8
child 121 82e69d88119b
     1.1 --- a/Makefile	Thu May 17 16:22:51 2007 +0000
     1.2 +++ b/Makefile	Tue May 22 20:36:44 2007 +0000
     1.3 @@ -33,7 +33,7 @@
     1.4  help::
     1.5  	@echo  'Execute "make" or "make all" to build all targets marked with [*]'
     1.6  
     1.7 -.config: $(shell find $(CT_TOP_DIR)/config -type f -name '*.in')
     1.8 +.config: $(CONFIG_FILES) $(CT_TOP_DIR)/config/debug.in
     1.9  	@make oldconfig
    1.10  
    1.11  # Actual build