changeset 3273 | c95c1ccf5b77 |
parent 1618 | 7f52e1cca71e |
1.1 --- a/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 1.2 +++ b/scripts/scripts.mk Sat Jan 04 20:16:18 2014 +0100 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 $@'