From 543be8d367468253096311fe9198bb8cc66ad5b4 Mon Sep 17 00:00:00 2001
From: Christian Walter <christian.walter@9elements.com>
Date: Sun, 26 May 2019 01:14:13 +0200
Subject: [PATCH] payloads/external/Linuxboot: Fix Makefile when not using bash

Adding "SHELL := /bin/bash" to the Makefile makes sure, that we use the
bash shell which is needed here.

Tested with oh-my-zsh.

Change-Id: I71495e15b8f1a495af7d8ab21cc5235feb595e01
Signed-off-by: Christian Walter <christian.walter@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/33014
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 payloads/external/LinuxBoot/targets/linux.mk | 1 +
 1 file changed, 1 insertion(+)

diff --git a/payloads/external/LinuxBoot/targets/linux.mk b/payloads/external/LinuxBoot/targets/linux.mk
index 5632a0b923..e32ad1e21b 100644
--- a/payloads/external/LinuxBoot/targets/linux.mk
+++ b/payloads/external/LinuxBoot/targets/linux.mk
@@ -12,6 +12,7 @@
 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 ## GNU General Public License for more details.
 ##
+SHELL := /bin/bash
 
 ARCH-$(CONFIG_LINUXBOOT_X86_64)=x86_64
 ARCH-$(CONFIG_LINUXBOOT_X86)=x86