diff -r 7f52e1cca71e -r b8da1339f9fc scripts/scripts.mk --- a/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 +++ b/scripts/scripts.mk Wed Jan 15 23:24:27 2014 +0100 @@ -33,7 +33,8 @@ PHONY += scripts scripts: - $(SILENT)mkdir -p scripts + @$(ECHO) ' MKDIR $@' + $(SILENT)mkdir -p $@ $(CONFIG_SUB_DEST): scripts FORCE @$(ECHO) ' WGET $@'