diff --git a/build/tasks/kernel.mk b/build/tasks/kernel.mk index 38674fc7..c65a1731 100644 --- a/build/tasks/kernel.mk +++ b/build/tasks/kernel.mk @@ -71,6 +71,8 @@ # # TARGET_FORCE_PREBUILT_KERNEL = Optional, use TARGET_PREBUILT_KERNEL even if # kernel sources are present +# TARGET_PREBUILT_KERNEL_HEADERS = Optional, if this is set, don't warn about prebuilt +# kernel because headers should match # # TARGET_MERGE_DTBS_WILDCARD = Optional, limits the .dtb files used to generate the # final DTB image when using QCOM's merge_dtbs script. @@ -142,13 +144,15 @@ ifeq "$(wildcard $(KERNEL_SRC) )" "" endif ifneq ($(HAS_PREBUILT_KERNEL),) - $(warning ***************************************************************) - $(warning * Using prebuilt kernel binary instead of source *) - $(warning * THIS IS DEPRECATED, AND IS NOT ADVISED. *) - $(warning * Please configure your device to download the kernel *) - $(warning * source repository to $(KERNEL_SRC)) - $(warning * for more information *) - $(warning ***************************************************************) + ifeq ($(TARGET_PREBUILT_KERNEL_HEADERS),) + $(warning ***************************************************************) + $(warning * Using prebuilt kernel binary instead of source *) + $(warning * THIS IS DEPRECATED, AND IS NOT ADVISED. *) + $(warning * Please configure your device to download the kernel *) + $(warning * source repository to $(KERNEL_SRC)) + $(warning * for more information *) + $(warning ***************************************************************) + endif FULL_KERNEL_BUILD := false KERNEL_BIN := $(TARGET_PREBUILT_KERNEL) else