scripts/scripts.mk
changeset 3308 b571b3566915
parent 1618 7f52e1cca71e
     1.1 --- a/scripts/scripts.mk	Fri Oct 30 19:49:51 2009 +0100
     1.2 +++ b/scripts/scripts.mk	Sat May 10 12:33:37 2014 +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  $@'