diff options
-rw-r--r-- | early-plugins.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index ef8ee3a..5f6ccb4 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -94,7 +94,7 @@ WINDOWS-OTP-20.0-INSTALL-DIR := $(call msys2_path,$(PROGRAMFILES)/erl9.0/bin) WINDOWS-OTP-20.1-INSTALL-DIR := $(call msys2_path,$(PROGRAMFILES)/erl9.1/bin) define ci_windows_target -ci-windows-$1: $(WINDOWS-OTP-$1-INSTALL-DIR) +ci-windows-$1: $(verbose) $(MAKE) --no-print-directory clean $(ci_verbose) \ PATH="$(WINDOWS-OTP-$1-INSTALL-DIR):$(PATH)" \ |