From 0ffdc16e7dc1d286eeda3447e95381f5a309d492 Mon Sep 17 00:00:00 2001 From: Peter Korsgaard Date: Mon, 15 Apr 2013 08:55:53 +0200 Subject: [PATCH] linux: error out early if user forgot to specify dts name(s) Signed-off-by: Peter Korsgaard --- linux/linux.mk | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/linux/linux.mk b/linux/linux.mk index 2fff2e9ce7..d375cf0328 100644 --- a/linux/linux.mk +++ b/linux/linux.mk @@ -58,6 +58,11 @@ else ifeq ($(BR2_LINUX_KERNEL_USE_CUSTOM_DTS),y) KERNEL_DTS_NAME = $(basename $(notdir $(BR2_LINUX_KERNEL_CUSTOM_DTS_PATH))) endif +ifeq ($(BR2_LINUX_KERNEL_DTS_SUPPORT)$(KERNEL_DTS_NAME),y) +$(error No kernel device tree source specified, check your \ +BR2_LINUX_KERNEL_USE_INTREE_DTS / BR2_LINUX_KERNEL_USE_CUSTOM_DTS settings) +endif + ifeq ($(BR2_LINUX_KERNEL_APPENDED_DTB),y) ifneq ($(words $(KERNEL_DTS_NAME)),1) $(error Kernel with appended device tree needs exactly one DTS source.\ -- 2.30.2