diff -r 7f52e1cca71e -r 564d1f3a849b scripts/scripts.mk --- a/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 +++ b/scripts/scripts.mk Sat Sep 24 21:47:28 2011 +0200 @@ -33,7 +33,8 @@ PHONY += scripts scripts: - $(SILENT)mkdir -p scripts + @$(ECHO) ' MKDIR $@' + $(SILENT)mkdir -p $@ $(CONFIG_SUB_DEST): scripts FORCE @$(ECHO) ' WGET $@'