diff options
| author | Colin Cross <ccross@android.com> | 2020-06-18 15:56:48 -0700 |
|---|---|---|
| committer | Colin Cross <ccross@android.com> | 2020-06-19 12:53:09 -0700 |
| commit | 205a504053505699fbf19bb38ec07f8674a8fb1b (patch) | |
| tree | 63c111b7223d73175183a74865c31fbb6084720f /scripts/lint-project-xml.py | |
| parent | aaf58061a09be3723d8bc644240394391a8d2e0d (diff) | |
Support adding extra lint checks
Add a lint.extra_check_modules property to list modules to use as
plugins to Lint.
Bug: 153485543
Test: m checkbuild
Change-Id: I25c7799438cfec43163e757637c65b8657488d36
Merged-In: I25c7799438cfec43163e757637c65b8657488d36
(cherry picked from commit 92e4b46af561503506b54f9e4c925615bd03a069)
Diffstat (limited to 'scripts/lint-project-xml.py')
0 files changed, 0 insertions, 0 deletions