kernel: Use full path to the make command
make is now a dissallowed command so just run the full command
Change-Id: I9390dc5a8bcd17f316354b88bdbc65ac8663b369
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
diff --git a/config/BoardConfigSoong.mk b/config/BoardConfigSoong.mk
index 35d7893..1320c4a 100644
--- a/config/BoardConfigSoong.mk
+++ b/config/BoardConfigSoong.mk
@@ -2,6 +2,7 @@
EXPORT_TO_SOONG := \
KERNEL_ARCH \
KERNEL_CROSS_COMPILE \
+ KERNEL_MAKE_CMD \
KERNEL_MAKE_FLAGS \
TARGET_KERNEL_CONFIG \
TARGET_KERNEL_SOURCE