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

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

diff --git a/device-comet.mk b/device-comet.mk
index 0863880..d93e95b 100644
--- a/device-comet.mk
+++ b/device-comet.mk
@@ -25,9 +25,9 @@ RELEASE_GOOGLE_PRODUCT_BOOTLOADER_DIR := bootloader/$(RELEASE_GOOGLE_BOOTLOADER_
 $(call soong_config_set,comet_bootloader,prebuilt_dir,$(RELEASE_GOOGLE_BOOTLOADER_COMET_DIR))
 
 
-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