diff --git a/config/CONFIG.Host.linux-x86 b/config/CONFIG.Host.linux-x86 index 27b236af5..fbb18331b 100644 --- a/config/CONFIG.Host.linux-x86 +++ b/config/CONFIG.Host.linux-x86 @@ -1,4 +1,4 @@ # $Id$ # linux-x86 is the new name for linux --include $(EPICS_BASE)/config/CONFIG.Host.linux +-include $(EPICS_BASE)/config/CONFIG.Host.Linux diff --git a/config/CONFIG_HOST_ARCH.linux-x86 b/config/CONFIG_HOST_ARCH.linux-x86 index 2aef3c984..8804b6520 100644 --- a/config/CONFIG_HOST_ARCH.linux-x86 +++ b/config/CONFIG_HOST_ARCH.linux-x86 @@ -1,4 +1,4 @@ # $Id$ # linux-x86 is the new name for linux --include $(EPICS_BASE)/config/CONFIG_HOST_ARCH.linux +-include $(EPICS_BASE)/config/CONFIG_HOST_ARCH.Linux diff --git a/config/CONFIG_SITE.Host.linux-x86 b/config/CONFIG_SITE.Host.linux-x86 index 905da442c..97d5a0337 100644 --- a/config/CONFIG_SITE.Host.linux-x86 +++ b/config/CONFIG_SITE.Host.linux-x86 @@ -1,4 +1,4 @@ # $Id$ # linux-x86 is the new name for linux --include $(EPICS_BASE)/config/CONFIG_SITE.Host.linux +-include $(EPICS_BASE)/config/CONFIG_SITE.Host.Linux