From 5ba098bee4e857b170e4fddd01d8a7cc6df3d280 Mon Sep 17 00:00:00 2001 From: Robin Peng Date: Wed, 15 May 2024 07:35:57 +0000 Subject: [PATCH] Amend the KERNEL_DIR to the prefered name Bug: 337163126 Change-Id: If9f3445c871eb9965ab58fb245b313cb32003e4a --- device-tegu.mk | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/device-tegu.mk b/device-tegu.mk index 73d5e00..5843d17 100644 --- a/device-tegu.mk +++ b/device-tegu.mk @@ -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