diff --git a/sysdep/pal-distro.mk b/sysdep/pal-distro.mk index ac4d2277595dd585c00c3f631157a18b8fb05952..4ba7d4b44856cfc2580fd44d273c282969f5105b 100644 --- a/sysdep/pal-distro.mk +++ b/sysdep/pal-distro.mk @@ -6,12 +6,13 @@ ifndef _paldistro_mk _paldistro:=$(shell ${SHELL} ${ROBOTPKG_DIR}/wip/sysdep/pal-distro.sh) export PALDISTRO:= $(word 1,${_paldistro}) - ifeq (palerbium,${PALDISTRO}) - ifeq (yes,$(call exists,${ROBOTPKG_DIR}/wip/sysdep/platform/${PALDISTRO}.mk)) - include ${ROBOTPKG_DIR}/wip/sysdep/platform/${PALDISTRO}.mk - else - $(error missing wip/sysdep/platform/${PALDISTRO}.mk) + ifeq (erbium,${PREFER.pal-distro}) + ifeq (palerbium,${PALDISTRO}) + ifeq (yes,$(call exists,${ROBOTPKG_DIR}/wip/sysdep/platform/${PALDISTRO}.mk)) + include ${ROBOTPKG_DIR}/wip/sysdep/platform/${PALDISTRO}.mk + else + $(error missing wip/sysdep/platform/${PALDISTRO}.mk) + endif endif endif - endif # ERBIUM_ROS_FLAVOR