diff options
| author | Inseob Kim <inseob@google.com> | 2020-06-11 13:51:52 +0900 |
|---|---|---|
| committer | Inseob Kim <inseob@google.com> | 2020-06-11 14:49:48 +0900 |
| commit | f3044b64d7225b95806749ac317e20795a148034 (patch) | |
| tree | d232300a70d41eb6ef251fbbc3285de4f312ae98 /scripts/lint-project-xml.py | |
| parent | 4e372f7841c1b80178fa91110b34018d7e4d7ae8 (diff) | |
Always create both variants for kernel headers
kernel_headers exports header files from TARGET_DEVICE_KERNEL_HEADERS,
TARGET_BOARD_KERNEL_HEADERS, and TARGET_PRODUCT_KERNEL_HEADERS. All of
them are bound to vendor, so they will always have both variants.
Bug: 157106227
Test: manual
Change-Id: I903b7ddbee21f63174dbba47bc6c093b90d1b42d
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions