diff options
Diffstat (limited to 'early-plugins.mk')
| -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 5f6ccb4..89ee409 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -96,7 +96,7 @@ WINDOWS-OTP-20.1-INSTALL-DIR := $(call msys2_path,$(PROGRAMFILES)/erl9.1/bin) define ci_windows_target ci-windows-$1: $(verbose) $(MAKE) --no-print-directory clean - $(ci_verbose) \ + $$(ci_verbose) \ PATH="$(WINDOWS-OTP-$1-INSTALL-DIR):$(PATH)" \ CI_OTP_RELEASE="$1" \ CT_OPTS="-label $1" \ |