coreboot-kgpe-d16/payloads/external
Christian Walter 543be8d367 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>
2019-05-29 20:22:38 +00:00
..
FILO
GRUB2
LinuxBoot payloads/external/Linuxboot: Fix Makefile when not using bash 2019-05-29 20:22:38 +00:00
Memtest86Plus
SeaBIOS payloads/seabios: Update the stable git hash of 1.12.1 2019-04-24 10:21:59 +00:00
U-Boot payloads/U-Boot: Update to the latest stable 2019.4 2019-04-23 09:54:40 +00:00
Yabits
depthcharge
iPXE payloads/external/iPXE: Add more Kconfig options 2019-05-29 20:21:42 +00:00
linux
tianocore payloads/tianocore: Don't fail on resetting boot logo 2019-04-02 16:32:48 +00:00
tint payloads: Replace all IS_ENABLED(CONFIG_XXX) with CONFIG(XXX) 2019-03-07 17:15:30 +00:00
Makefile.inc payloads/external/iPXE: Add more Kconfig options 2019-05-29 20:21:42 +00:00