commit f79347c8f4f1c87da9ebe4aababede8d2f244aad
author Rashed Abdel-Tawab <rashed@linux.com> Thu Sep 05 21:21:13 2019 -0700
committer Jackeagle <jackeagle102@gmail.com> Tue Sep 10 07:38:10 2019 +0200
tree a852bf65a58d201ace124630854b7c5b190126ae
parent cc625ebf87b5ac2dd626dbee834bd32043a70449

kernel: Use full path to the make command

make is now a dissallowed command so just run the full command

Change-Id: I9390dc5a8bcd17f316354b88bdbc65ac8663b369

config/BoardConfigKernel.mk

diff --git a/config/BoardConfigKernel.mk b/config/BoardConfigKernel.mk
index 3bc0ec7..c772f0e 100644
--- a/config/BoardConfigKernel.mk
+++ b/config/BoardConfigKernel.mk
@@ -126,3 +126,6 @@
 else ifeq ($(BOARD_KERNEL_SEPARATED_DTBO),true)
 BOARD_PREBUILT_DTBOIMAGE ?= $(PRODUCT_OUT)/dtbo-pre.img
 endif
+
+# Set use the full path to the make command
+KERNEL_MAKE_CMD := $(BUILD_TOP)/prebuilts/build-tools/$(HOST_OS)-x86/bin/make