From c5229d7914bc4b5a840bd78bf663b21ef4946da1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Mon, 27 Nov 2023 15:44:57 +0100 Subject: Add a target to list OTPs that are configured for CI --- early-plugins.mk | 3 +++ 1 file changed, 3 insertions(+) (limited to 'early-plugins.mk') 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 -- cgit v1.2.3