diff options
Diffstat (limited to 'plugins/ci.mk')
-rw-r--r-- | plugins/ci.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ci.mk b/plugins/ci.mk index 52cf8f3..0881d49 100644 --- a/plugins/ci.mk +++ b/plugins/ci.mk @@ -32,7 +32,7 @@ ci_verbose = $(ci_verbose_$(V)) define ci_target ci-$1: $(KERL_INSTALL_DIR)/$2 - $(verbose) $(MAKE) --no-print-directory clean + $(verbose) $(MAKE) --no-print-directory clean distclean-c_src-env $(ci_verbose) \ PATH="$(KERL_INSTALL_DIR)/$2/bin:$(PATH)" \ CI_OTP_RELEASE="$1" \ |