From 1e663182186e4c3b9dc89fd2a60b2c21cd83a665 Mon Sep 17 00:00:00 2001
From: HONG Yifan <elsk@google.com>
Date: Mon, 5 Aug 2024 14:34:20 -0700
Subject: [PATCH] ANDROID: Set ddk_module_headers.

This is so that ddk_modules building against GKI or device kernel
won't need to specify dependency on //common:all_headers_* explicitly.

Bug: 308404299
Change-Id: Ib2b2fb1c22de3f0330a899c344802d90e81dc519
Signed-off-by: HONG Yifan <elsk@google.com>
---
 BUILD.bazel | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/BUILD.bazel b/BUILD.bazel
index 2e1c0c93a583..0441f0dcb849 100644
--- a/BUILD.bazel
+++ b/BUILD.bazel
@@ -93,6 +93,7 @@ define_common_kernels(target_configs = {
     "kernel_aarch64": {
         "module_implicit_outs": get_gki_modules_list("arm64") + get_kunit_modules_list("arm64"),
         "make_goals": _GKI_AARCH64_MAKE_GOALS,
+        "ddk_module_headers": [":all_headers_aarch64"],
         "ddk_headers_archive": ":kernel_aarch64_ddk_headers_archive",
         "extra_dist": [
             ":test_mappings_zip",
@@ -101,6 +102,7 @@ define_common_kernels(target_configs = {
     },
     "kernel_x86_64": {
         "kmi_symbol_list_strict_mode": False,
+        "ddk_module_headers": [":all_headers_x86_64"],
         "module_implicit_outs": get_gki_modules_list("x86_64") + get_kunit_modules_list("x86_64"),
         "make_goals": _GKI_X86_64_MAKE_GOALS,
         "extra_dist": [