diff options
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: |