changeset 3118 | 51160d293e1f |
parent 1618 | 7f52e1cca71e |
1.1 --- a/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 1.2 +++ b/scripts/scripts.mk Mon Nov 19 15:20:13 2012 -0800 1.3 @@ -33,7 +33,8 @@ 1.4 1.5 PHONY += scripts 1.6 scripts: 1.7 - $(SILENT)mkdir -p scripts 1.8 + @$(ECHO) ' MKDIR $@' 1.9 + $(SILENT)mkdir -p $@ 1.10 1.11 $(CONFIG_SUB_DEST): scripts FORCE 1.12 @$(ECHO) ' WGET $@'