changeset 3212 | 4c0d4394d0b0 |
parent 1618 | 7f52e1cca71e |
1.1 --- a/scripts/scripts.mk Fri Oct 30 19:49:51 2009 +0100 1.2 +++ b/scripts/scripts.mk Sun May 05 18:34:20 2013 +0200 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 $@'