From e86902681ebdc664e22da85014056346d7b51d37 Mon Sep 17 00:00:00 2001
From: Anders Lindh Olsson <anders.lindholsson@ess.eu>
Date: Tue, 23 Feb 2021 15:51:38 +0100
Subject: [PATCH] add CONFIG_SHELL

---
 configure/E3/CONFIG_SHELL | 2 ++
 configure/modules/CONFIG  | 1 +
 2 files changed, 3 insertions(+)
 create mode 100644 configure/E3/CONFIG_SHELL

diff --git a/configure/E3/CONFIG_SHELL b/configure/E3/CONFIG_SHELL
new file mode 100644
index 00000000..8139e42d
--- /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 31571ac1..0286b58b 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
-- 
GitLab