diff options
author | Paul Duffin <paulduffin@google.com> | 2020-05-13 19:19:49 +0100 |
---|---|---|
committer | Paul Duffin <paulduffin@google.com> | 2020-05-14 00:53:50 +0100 |
commit | 6b836ba566fc83b8785d901067ad41e177292d37 (patch) | |
tree | 4ef1bab31d7f74c7065195fd166403dbfda6d569 /scripts/lint-project-xml.py | |
parent | f9088b03c2b1c3b75656bfba70f0a30f1fbe2000 (diff) |
Correct module_lib scope name
The module_lib scope should be called module-lib in order to pick up
the latest filegroup. Without it the API lint does not use a baseline
and so reports issues with released and unchangeable APIs.
It is also needed for the correct dist path.
Test: m update-api
Bug: 155164730
Change-Id: I7dbafd7164d5da600ca45c39a7f93a5a40027a1f
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions