build: Explicitly use bash for shell scripts

[vpp.git] / build / external / Makefile

diff --git a/build/external/Makefile b/build/external/Makefile
index 1e1f5da..a445d7b 100644 (file)
--- 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