diff options
| author | Marcello Sylvester Bauer <info@marcellobauer.com> | 2018-12-05 08:45:26 +0100 |
|---|---|---|
| committer | Philipp Deppenwiese <zaolin.daisuki@gmail.com> | 2019-04-15 23:23:52 +0000 |
| commit | 79f92910ebb1a281b87cd2586cff9c5d06478d6c (patch) | |
| tree | 0fe8cb46aaa0c85930a5ed9a47801f46796340b7 /payloads/external/LinuxBoot/Makefile | |
| parent | 59a407349b6ed15fd83023b96ee559b7771c52f8 (diff) | |
LinuxBoot/targets/linux.mk: refactor kernel compilation
Refactor the linux kernel compilation.
Change-Id: Iea2e2c8a22a91bdd2e3f83cd3058426acec3eaba
Signed-off-by: Marcello Sylvester Bauer <info@marcellobauer.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/30053
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Philipp Deppenwiese <zaolin.daisuki@gmail.com>
Diffstat (limited to 'payloads/external/LinuxBoot/Makefile')
| -rw-r--r-- | payloads/external/LinuxBoot/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/payloads/external/LinuxBoot/Makefile b/payloads/external/LinuxBoot/Makefile index a67b16ae70..5840e8e211 100644 --- a/payloads/external/LinuxBoot/Makefile +++ b/payloads/external/LinuxBoot/Makefile @@ -45,6 +45,10 @@ endif ifeq ($(CONFIG_LINUXBOOT_COMPILE_KERNEL),y) ifeq ($(CONFIG_LINUXBOOT_ARCH),arm64) kernel: initramfs + if [[ ! -f "$(top)/$(CONFIG_LINUXBOOT_DTB_FILE)" ]]; then \ + echo "<< Linux kernel devicetree is missing. >>"; \ + exit 1; \ + fi $(MAKE) -f targets/linux.mk else kernel: |