From 60983d6c7ab23e211aaf3d9eb7a040385d9d7d1b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Mon, 10 Jul 2017 18:17:13 +0200 Subject: Experiment distclean instead of clean in CI --- erlang.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'erlang.mk') diff --git a/erlang.mk b/erlang.mk index 953f247..4cdb3e9 100644 --- a/erlang.mk +++ b/erlang.mk @@ -6023,7 +6023,7 @@ ci_verbose = $(ci_verbose_$(V)) define ci_target ci-$1: $(CI_INSTALL_DIR)/$2 - $(verbose) $(MAKE) --no-print-directory clean + $(verbose) $(MAKE) --no-print-directory distclean $(ci_verbose) \ PATH="$(CI_INSTALL_DIR)/$2/bin:$(PATH)" \ CI_OTP_RELEASE="$1" \ -- cgit v1.2.3