diff --git a/configure/CONFIG b/configure/CONFIG index 7cb2b9f2d..6c8f0a51b 100644 --- a/configure/CONFIG +++ b/configure/CONFIG @@ -17,14 +17,13 @@ # Common build definitions # -ifndef CONFIG -CONFIG = $(TOP)/configure -endif +CONFIG ?= $(TOP)/configure -include $(CONFIG)/os/CONFIG_COMPAT -include $(CONFIG)/RELEASE -include $(CONFIG)/RELEASE.$(EPICS_HOST_ARCH) +-include $(CONFIG)/RELEASE.$(EPICS_HOST_ARCH).$(T_A) include $(CONFIG)/CONFIG_COMMON