diff --git a/dev/gateway-api/Makefile b/dev/gateway-api/Makefile index fe8a9cd6e..b2d82c5dd 100644 --- a/dev/gateway-api/Makefile +++ b/dev/gateway-api/Makefile @@ -1,3 +1,6 @@ +# Force the use of bash as the shell for more features +SHELL=/bin/bash + SHELLOPTS:=$(if $(SHELLOPTS),$(SHELLOPTS):)pipefail:errexit .ONESHELL: