diff --git a/configure/E3/CONFIG_SHELL b/configure/E3/CONFIG_SHELL new file mode 100644 index 0000000000000000000000000000000000000000..8139e42d975bce9ba60a5f0242596eb49b36de5a --- /dev/null +++ b/configure/E3/CONFIG_SHELL @@ -0,0 +1,2 @@ + +SHELL = /usr/bin/bash diff --git a/configure/modules/CONFIG b/configure/modules/CONFIG index 31571ac1977b307e3731bd2bf6c87275de3df328..0286b58b55f41f275049d4c2c5dc56b8e7420efe 100644 --- a/configure/modules/CONFIG +++ b/configure/modules/CONFIG @@ -5,6 +5,7 @@ E3_MODULE_VERSION:=$(E3_MODULE_VERSION)$(shell [[ "$(E3_MODULE_VERSION)" =~ ^[0- include $(EPICS_BASE)/configure/CONFIG_BASE_VERSION include $(REQUIRE_CONFIG)/CONFIG_REQUIRE +include $(REQUIRE_CONFIG)/CONFIG_SHELL include $(REQUIRE_CONFIG)/CONFIG_CELL include $(REQUIRE_CONFIG)/CONFIG_E3_PATH include $(REQUIRE_CONFIG)/CONFIG_E3_MAKEFILE