diff options
| author | Loïc Hoguin <[email protected]> | 2023-11-27 15:44:57 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2023-11-27 15:44:57 +0100 |
| commit | c5229d7914bc4b5a840bd78bf663b21ef4946da1 (patch) | |
| tree | 8e7150a2eaee1a28bf9834b93a5dd3fa561e879a /early-plugins.mk | |
| parent | 6eb9d5639a8223ce9eed9f59f6a0318115b52ac3 (diff) | |
| download | ci.erlang.mk-c5229d7914bc4b5a840bd78bf663b21ef4946da1.tar.gz ci.erlang.mk-c5229d7914bc4b5a840bd78bf663b21ef4946da1.tar.bz2 ci.erlang.mk-c5229d7914bc4b5a840bd78bf663b21ef4946da1.zip | |
Add a target to list OTPs that are configured for CI
Diffstat (limited to 'early-plugins.mk')
| -rw-r--r-- | early-plugins.mk | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/early-plugins.mk b/early-plugins.mk index 386a4d2..f48c100 100644 --- a/early-plugins.mk +++ b/early-plugins.mk @@ -118,6 +118,9 @@ OTP-DROPPED := $(OTP-18-DROPPED) $(OTP-19-DROPPED) $(OTP-20-DROPPED) \ CI_OTP := $(foreach otp,$(AUTO_CI_OTP),$($(otp))) $(if $(AUTO_CI_MASTER),master) +ci-list: + $(verbose) printf "%s\n" $(CI_OTP) + # Remove the existing master if necessary. ifdef AUTO_CI_MASTER |