diff options
| author | Loïc Hoguin <[email protected]> | 2017-11-18 22:25:34 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2017-11-18 22:25:34 +0100 |
| commit | 715f72d23cd5da0436ba496d51f8b283da45b6a3 (patch) | |
| tree | 76ba490e4e7b29882610590e13fc00de6f5fda65 /early-plugins.mk | |
| parent | e7626e77bb49bbd631773d0b9d2b27b20a792531 (diff) | |
| download | ci.erlang.mk-715f72d23cd5da0436ba496d51f8b283da45b6a3.tar.gz ci.erlang.mk-715f72d23cd5da0436ba496d51f8b283da45b6a3.tar.bz2 ci.erlang.mk-715f72d23cd5da0436ba496d51f8b283da45b6a3.zip | |
Hopefully fix the display of current CI target on Windows
Diffstat (limited to 'early-plugins.mk')
| -rw-r--r-- | early-plugins.mk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index e6afc48..570b9a8 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -93,10 +93,15 @@ WINDOWS-OTP-19.3-INSTALL-DIR := $(call msys2_path,$(PROGRAMFILES)/erl8.3/bin) 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) +# We have to duplicate this for it to work as +# it is not yet defined when we define this. +ci_windows_verbose_0 = @echo " CI " $(1); +ci_windows_verbose = $(ci_verbose_$(V)) + define ci_windows_target ci-windows-$1: $(verbose) $(MAKE) --no-print-directory clean - $$(ci_verbose) \ + $(ci_windows_verbose) \ PATH="$(WINDOWS-OTP-$1-INSTALL-DIR):$(PATH)" \ CI_OTP_RELEASE="$1" \ CT_OPTS="-label $1" \ |