From 947f91dfab2d036f5b873d076933dc6531c075d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= <essen@ninenines.eu>
Date: Mon, 18 Dec 2023 10:36:11 +0100
Subject: Rework how we delete the master build in CI

---
 early-plugins.mk | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'early-plugins.mk')

diff --git a/early-plugins.mk b/early-plugins.mk
index 96b36d4..c8a9457 100644
--- a/early-plugins.mk
+++ b/early-plugins.mk
@@ -141,7 +141,10 @@ endif
 endif
 
 ifdef AUTO_CI_MASTER_MINS
-ci:: $(KERL)
+ci::
+	$(verbose) $(MAKE) --no-print-directory ci-auto-master
+
+ci-auto-master: $(KERL)
 ifneq ($(wildcard $(KERL_INSTALL_DIR)/master),)
 	$(verbose) if find $(KERL_INSTALL_DIR)/master/activate \
 			-mmin +$(AUTO_CI_MASTER_MINS) | grep -q master; then \
-- 
cgit v1.2.3