| commit | 543be8d367468253096311fe9198bb8cc66ad5b4 | |
| author | Christian Walter <christian.walter@9elements.com> | |
| Sat, 25 May 2019 23:14:13 +0000 (26 01:14 +0200) | ||
| committer | Patrick Georgi <pgeorgi@google.com> | |
| Wed, 29 May 2019 20:22:38 +0000 (29 20:22 +0000) | ||
| tree | a67eb93746d6e02a050fab22683ba7fbb5848996 | treesnapshot (tar.gz zip) |
| parent | a998e280163b84c0786cb8d4b7f216a36b262d6a | commitdiff |
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>
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 | diffblobblamehistory |