diff -r 90a099a0e902 -r 2c0ed9ec9a8c kconfig/kconfig.mk
--- a/kconfig/kconfig.mk	Mon Mar 09 22:01:59 2009 +0000
+++ b/kconfig/kconfig.mk	Thu Feb 11 21:28:10 2010 +0100
@@ -24,12 +24,29 @@
 	@$(ECHO) "  CONF  $(KCONFIG_TOP)"
 	$(SILENT)$< -s $(KCONFIG_TOP)
 
+# Always be silent, the stdout an be >.config
+extractconfig:
+	@awk 'BEGIN { dump=0; }                                                 \
+	      dump==1 && $$0~/^\[.....\][[:space:]]+(# |)CT_/ {                 \
+	          $$1="";                                                       \
+	          gsub("^[[:space:]]","");                                      \
+	          print;                                                        \
+	      }                                                                 \
+	      $$0~/Dumping user-supplied crosstool-NG configuration: done in/ { \
+	          dump=0;                                                       \
+	      }                                                                 \
+	      $$0~/Dumping user-supplied crosstool-NG configuration$$/ {        \
+	          dump=1;                                                       \
+	      }'
+
 #-----------------------------------------------------------
 # Help text used by make help
 
 help-config::
 	@echo  '  menuconfig         - Update current config using a menu based program'
 	@echo  '  oldconfig          - Update current config using a provided .config as base'
+	@echo  '  extractconfig      - Extract to stdout the configuration items from a'
+	@echo  '                       build.log file piped to stdin'
 
 #-----------------------------------------------------------
 # Hmmm! Cheesy build!