diff -r 7f52e1cca71e -r 4baa6a9f6415 scripts/scripts.mk --- a/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 +++ b/scripts/scripts.mk Fri Jan 15 22:21:12 2010 +0100 @@ -33,7 +33,8 @@ PHONY += scripts scripts: - $(SILENT)mkdir -p scripts + @$(ECHO) ' MKDIR $@' + $(SILENT)mkdir -p $@ $(CONFIG_SUB_DEST): scripts FORCE @$(ECHO) ' WGET $@'