From 8ee5d891b09dd5d556f4538e9323ba872fe97698 Mon Sep 17 00:00:00 2001
From: Dan Pasanen <dan.pasanen@gmail.com>
Date: Fri, 8 Dec 2017 13:46:30 -0600
Subject: [PATCH] kernel: don't build for TARGET_NO_KERNEL targets

Change-Id: I14ad45c06922c0775e0574ddbcfcdc33353af465
---
 build/tasks/kernel.mk | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build/tasks/kernel.mk b/build/tasks/kernel.mk
index 438dcaa9..426af62c 100644
--- a/build/tasks/kernel.mk
+++ b/build/tasks/kernel.mk
@@ -70,6 +70,7 @@
 #   NEED_KERNEL_MODULE_ROOT            = Optional, if true, install kernel
 #                                          modules in root instead of system
 
+ifneq ($(TARGET_NO_KERNEL),true)
 
 TARGET_AUTO_KDIR := $(shell echo $(TARGET_DEVICE_DIR) | sed -e 's/^device/kernel/g')
 
@@ -408,3 +409,5 @@ endif
 
 .PHONY: kernel
 kernel: $(INSTALLED_KERNEL_TARGET)
+
+endif # TARGET_NO_KERNEL