make sure extglob is enabled for shell

2023-02-16 12:03:02 +01:00
parent 141a3ab98e
commit c1b9db6b3e
1 changed files with 1 additions and 0 deletions
@@ -341,6 +341,7 @@ ${CONFIG}/CONFIG:
 EB:=${EPICS_BASE}
 TOP:=${EPICS_BASE}
 -include ${CONFIG}/CONFIG
+SHELL = /bin/bash -O extglob
 BASE_CPPFLAGS=
 EPICS_BASE:=${EB}
 COMMON_DIR = O.${EPICSVERSION}_Common