diff options
Diffstat (limited to 'build/external/Makefile')
| -rw-r--r-- | build/external/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/external/Makefile b/build/external/Makefile index 1e1f5da1d1f..a445d7b21ee 100644 --- a/build/external/Makefile +++ b/build/external/Makefile @@ -12,7 +12,7 @@ # limitations under the License. # Scripts require non-POSIX parts of bash -SHELL := /bin/bash +SHELL := $(shell which bash) DL_CACHE_DIR = $(HOME)/Downloads MAKE ?= make |