diff options
author | Loïc Hoguin <[email protected]> | 2018-12-05 15:38:51 +0100 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2018-12-05 17:47:33 +0100 |
commit | 9d5b14f3398ae7f113ef90ab261469f7af1038be (patch) | |
tree | aad6d85ebdcf3413905b8b2a38bec68ea8505c5b | |
parent | 385d9afa7e025cd5928cd67108d409ba1e25e8e7 (diff) | |
download | erlang.mk-9d5b14f3398ae7f113ef90ab261469f7af1038be.tar.gz erlang.mk-9d5b14f3398ae7f113ef90ab261469f7af1038be.tar.bz2 erlang.mk-9d5b14f3398ae7f113ef90ab261469f7af1038be.zip |
Silence ci-setup and ci-extra when they're not extended
-rw-r--r-- | plugins/ci.mk | 2 |
1 files changed, 2 insertions, 0 deletions
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)) |