diff --git a/config/CONFIG.Host.win32-x86 b/config/CONFIG.Host.win32-x86 new file mode 100644 index 000000000..d6961362d --- /dev/null +++ b/config/CONFIG.Host.win32-x86 @@ -0,0 +1,5 @@ +# $Id$ + +# win32-x86 is the new name for WIN32 +-include $(EPICS_BASE)/config/CONFIG.Host.WIN32 + diff --git a/config/CONFIG_HOST_ARCH.win32-x86 b/config/CONFIG_HOST_ARCH.win32-x86 new file mode 100644 index 000000000..97fd74cda --- /dev/null +++ b/config/CONFIG_HOST_ARCH.win32-x86 @@ -0,0 +1,4 @@ +# $Id$ + +# win32-x86 is the new name for WIN32 +-include $(EPICS_BASE)/config/CONFIG_HOST_ARCH.WIN32 diff --git a/config/CONFIG_SITE.Host.win32-x86 b/config/CONFIG_SITE.Host.win32-x86 new file mode 100644 index 000000000..88278db83 --- /dev/null +++ b/config/CONFIG_SITE.Host.win32-x86 @@ -0,0 +1,5 @@ +# $Id$ + +# win32-x86 is the new name for WIN32 +-include $(EPICS_BASE)/config/CONFIG_SITE.Host.WIN32 +