scripts/scripts.mk
changeset 3071 5243d1b432b1
parent 1618 7f52e1cca71e
     1.1 --- a/scripts/scripts.mk	Fri Oct 30 19:49:51 2009 +0100
     1.2 +++ b/scripts/scripts.mk	Wed Oct 03 15:59:22 2012 +1000
     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  $@'