From e47e856563bff202c56fb67a3a0d424346485dc6 Mon Sep 17 00:00:00 2001 From: Huw Davies Date: Fri, 16 Nov 2018 12:51:17 +0000 Subject: [PATCH] makefile: Set SHELL to bash. The makefile contains several bash-isms so set the SHELL variable to bash. This fixes build errors on platforms where /bin/sh does not support bash extensions. Signed-off-by: Huw Davies --- build/makefile_base.mak | 2 ++ 1 file changed, 2 insertions(+) diff --git a/build/makefile_base.mak b/build/makefile_base.mak index 58958578..a1910c42 100644 --- a/build/makefile_base.mak +++ b/build/makefile_base.mak @@ -2,6 +2,8 @@ ## Nested make ## +SHELL := /bin/bash + ifneq ($(NO_NESTED_MAKE),1) # Pass all variables/goals to ourselves as a sub-make such that we will get a trailing error message upon failure. (We # invoke a lot of long-running build-steps, and make fails to re-print errors when they happened ten thousand lines