diff options
author | Loïc Hoguin <[email protected]> | 2016-10-04 00:57:00 +0200 |
---|---|---|
committer | Loïc Hoguin <[email protected]> | 2016-10-04 00:57:00 +0200 |
commit | 8fc7cf4729ce123e9a9eef6c0406470e0203982f (patch) | |
tree | 0c664c61a7124aaca9d5e4479a1f19e79c02269b /plugins | |
parent | c313f4dfb03b4105eed289141a0e7feef42f8612 (diff) | |
download | erlang.mk-8fc7cf4729ce123e9a9eef6c0406470e0203982f.tar.gz erlang.mk-8fc7cf4729ce123e9a9eef6c0406470e0203982f.tar.bz2 erlang.mk-8fc7cf4729ce123e9a9eef6c0406470e0203982f.zip |
Fix a small inconsistency when building for CI
We need to clean before attempting to wildcard ebin/test.
To do that, we need to invoke "make clean" separately.
Diffstat (limited to 'plugins')
-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)))) |