543be8d367
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> |
||
|---|---|---|
| .. | ||
| FILO | ||
| GRUB2 | ||
| LinuxBoot | ||
| Memtest86Plus | ||
| SeaBIOS | ||
| U-Boot | ||
| Yabits | ||
| depthcharge | ||
| iPXE | ||
| linux | ||
| tianocore | ||
| tint | ||
| Makefile.inc | ||