From 4e726be2123f8a52e5705a31d4498c2d5e4601c8 Mon Sep 17 00:00:00 2001
From: Robin Peng <robinpeng@google.com>
Date: Wed, 15 May 2024 07:38:54 +0000
Subject: [PATCH] Amend the KERNEL_DIR to the prefered name

Bug: 337163126
Change-Id: I86308db21e25fc79e12e5c4e30adc7a0a02d467b
---
 device-comet.mk | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/device-comet.mk b/device-comet.mk
index 8bbd1e1..81eac50 100644
--- a/device-comet.mk
+++ b/device-comet.mk
@@ -26,9 +26,9 @@ $(call soong_config_set,comet_bootloader,prebuilt_dir,$(RELEASE_GOOGLE_BOOTLOADE
 
 
 TARGET_LINUX_KERNEL_VERSION ?= 6.1
-ifdef RELEASE_GOOGLE_COMET_KERNEL_DIR
-TARGET_KERNEL_DIR ?= $(RELEASE_GOOGLE_COMET_KERNEL_DIR)
-TARGET_BOARD_KERNEL_HEADERS ?= $(RELEASE_GOOGLE_COMET_KERNEL_DIR)/kernel-headers
+ifdef RELEASE_KERNEL_COMET_DIR
+TARGET_KERNEL_DIR ?= $(RELEASE_KERNEL_COMET_DIR)
+TARGET_BOARD_KERNEL_HEADERS ?= $(RELEASE_KERNEL_COMET_DIR)/kernel-headers
 else
 TARGET_KERNEL_DIR ?= device/google/comet-kernels/6.1/24D1
 TARGET_BOARD_KERNEL_HEADERS ?= device/google/comet-kernels/6.1/24D1/kernel-headers