Amend the KERNEL_DIR to the prefered name

Bug: 337163126
Change-Id: If9f3445c871eb9965ab58fb245b313cb32003e4a
This commit is contained in:
Robin Peng 2024-05-15 07:35:57 +00:00
parent 76ddc30e96
commit 5ba098bee4

View file

@ -25,9 +25,9 @@ RELEASE_GOOGLE_PRODUCT_BOOTLOADER_DIR := bootloader/$(RELEASE_GOOGLE_BOOTLOADER_
$(call soong_config_set,tegu_bootloader,prebuilt_dir,$(RELEASE_GOOGLE_BOOTLOADER_TEGU_DIR))
ifdef RELEASE_GOOGLE_TEGU_KERNEL_DIR
TARGET_KERNEL_DIR ?= $(RELEASE_GOOGLE_TEGU_KERNEL_DIR)
TARGET_BOARD_KERNEL_HEADERS ?= $(RELEASE_GOOGLE_TEGU_KERNEL_DIR)/kernel-headers
ifdef RELEASE_KERNEL_TEGU_DIR
TARGET_KERNEL_DIR ?= $(RELEASE_KERNEL_TEGU_DIR)
TARGET_BOARD_KERNEL_HEADERS ?= $(RELEASE_KERNEL_TEGU_DIR)/kernel-headers
else
TARGET_KERNEL_DIR ?= device/google/tegu-kernels/6.1/25D4
TARGET_BOARD_KERNEL_HEADERS ?= device/google/tegu-kernels/6.1/25D4/kernel-headers