diff -r 7f52e1cca71e -r 0c76cb00a9c6 scripts/scripts.mk
--- a/scripts/scripts.mk	Fri Oct 30 19:49:51 2009 +0100
+++ b/scripts/scripts.mk	Fri Feb 15 18:54:27 2013 +0100
@@ -33,7 +33,8 @@
 
 PHONY += scripts
 scripts:
-	$(SILENT)mkdir -p scripts
+	@$(ECHO) '  MKDIR $@'
+	$(SILENT)mkdir -p $@
 
 $(CONFIG_SUB_DEST): scripts FORCE
 	@$(ECHO) '  WGET  $@'