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.
This commit is contained in:
Franco Fichtner 2024-08-09 13:52:31 +02:00
parent 34ab8a6ef3
commit 805489d1a0

View File

@ -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}