diff options
-rw-r--r-- | plugins/ci.mk | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/plugins/ci.mk b/plugins/ci.mk index 8ec5b67..f2a215e 100644 --- a/plugins/ci.mk +++ b/plugins/ci.mk @@ -27,11 +27,12 @@ ci_verbose = $(ci_verbose_$(V)) define ci_target ci-$(1): $(CI_INSTALL_DIR)/$(1) + $(verbose) $(MAKE) --no-print-directory clean; $(ci_verbose) \ PATH="$(CI_INSTALL_DIR)/$(1)/bin:$(PATH)" \ CI_OTP_RELEASE="$(1)" \ CT_OPTS="-label $(1)" \ - $(MAKE) clean ci-setup tests + $(MAKE) ci-setup tests endef $(foreach otp,$(CI_OTP),$(eval $(call ci_target,$(otp)))) |