diff options
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 |