From 9d5b14f3398ae7f113ef90ab261469f7af1038be Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Wed, 5 Dec 2018 15:38:51 +0100 Subject: Silence ci-setup and ci-extra when they're not extended --- plugins/ci.mk | 2 ++ 1 file changed, 2 insertions(+) (limited to 'plugins/ci.mk') diff --git a/plugins/ci.mk b/plugins/ci.mk index 4f62132..4b902be 100644 --- a/plugins/ci.mk +++ b/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)) -- cgit v1.2.3