From 805489d1a0d9628c982a73974d3317151f17df31 Mon Sep 17 00:00:00 2001
From: Franco Fichtner <franco@opnsense.org>
Date: Fri, 9 Aug 2024 13:52:31 +0200
Subject: [PATCH] make: remove 'devel' alias as it doesn't work on plugins

The idea was opnsense-"devel" annotation, but there is a "devel" directory
in plugins and since we have "master" or "main" alias (that we want to switch
to some day even) it's better to remove this cruft.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index eed2cdfbd..4ead509d0 100644
--- a/Makefile
+++ b/Makefile
@@ -89,7 +89,7 @@ CORE_VERSION?=	${CORE_COMMIT:[1]}
 CORE_REVISION?=	${CORE_COMMIT:[2]}
 CORE_HASH?=	${CORE_COMMIT:[3]}
 
-CORE_MAINS=	master devel main
+CORE_MAINS=	master main
 CORE_MAIN?=	${CORE_MAINS:[1]}
 CORE_STABLE?=	stable/${CORE_ABI}