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}