Browse Source

Silence ci-setup and ci-extra when they're not extended

Loïc Hoguin 6 years ago
parent
commit
9d5b14f339
1 changed files with 2 additions and 0 deletions
  1. 2 0
      plugins/ci.mk

+ 2 - 0
plugins/ci.mk

@@ -24,8 +24,10 @@ ci:: $(addprefix ci-,$(CI_OTP) $(addsuffix -native,$(CI_HIPE)) $(addsuffix -erll
 ci-prepare: $(addprefix $(KERL_INSTALL_DIR)/,$(CI_OTP) $(addsuffix -native,$(CI_HIPE)))
 
 ci-setup::
+	$(verbose) :
 
 ci-extra::
+	$(verbose) :
 
 ci_verbose_0 = @echo " CI    " $(1);
 ci_verbose = $(ci_verbose_$(V))