diff --git a/App/tools/driver.makefile b/App/tools/driver.makefile index c347235..76e601f 100644 --- a/App/tools/driver.makefile +++ b/App/tools/driver.makefile @@ -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