| commit | cb8e636ed0104d4649e3c8c0822358651a8c6e6b | [log] [tgz] |
|---|---|---|
| author | Jiyong Park <jiyong@google.com> | Wed Jul 12 18:29:17 2017 +0900 |
| committer | Jiyong Park <jiyong@google.com> | Wed Jul 12 18:29:17 2017 +0900 |
| tree | fb56ca5f5d733e9d209db2525877383d33309d2a | |
| parent | 95a8c7e83f545f549de1b79b33a2c480a5b28619 [diff] |
fix: device_kernel_headers can't be found in the make world Since device_kernel_headers is marked as 'vendor:true', it is exported to the make world as device_kernel_headers.vendor. Use the correct name with the .vendor suffix. Bug: none Test: BOARD_VNDK_VERSION=current m -j does not complain about device_kernel_headers. Change-Id: If3eaa3c5832820c914ef427668d70fa8d8d0bf97