diff -r 0a2fa748727e -r 1c9e4e6a6922 kconfig/kconfig.mk
--- a/kconfig/kconfig.mk	Sat Jan 14 18:22:06 2012 +0100
+++ b/kconfig/kconfig.mk	Sat Jul 14 18:25:47 2012 +0200
@@ -28,18 +28,18 @@
 
 # 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;                                                       \
-	      }'
+	@$(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