From 34ab8a6ef33f5a261d7c0c694840f54d13b9f0aa Mon Sep 17 00:00:00 2001 From: Franco Fichtner Date: Fri, 9 Aug 2024 13:49:00 +0200 Subject: [PATCH] make: optimize previous --- Makefile | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 40b6781af..eed2cdfbd 100644 --- a/Makefile +++ b/Makefile @@ -89,7 +89,8 @@ CORE_VERSION?= ${CORE_COMMIT:[1]} CORE_REVISION?= ${CORE_COMMIT:[2]} CORE_HASH?= ${CORE_COMMIT:[3]} -CORE_MAIN?= master +CORE_MAINS= master devel main +CORE_MAIN?= ${CORE_MAINS:[1]} CORE_STABLE?= stable/${CORE_ABI} _CORE_SERIES= ${CORE_VERSION:S/./ /g} @@ -513,7 +514,7 @@ mfc: ensure-stable clean-mfcdir stable: @git checkout ${CORE_STABLE} -devel main ${CORE_MAIN}: +${CORE_MAINS}: @git checkout ${CORE_MAIN} rebase: