diff options
| author | 2021-08-05 18:15:28 +0000 | |
|---|---|---|
| committer | 2021-08-05 18:15:28 +0000 | |
| commit | ce1dcf6a9f63bff8ca68e1256e208c750d22817e (patch) | |
| tree | 3dd1fdd645a8c169e8ad030ea04b68407f56e660 /scripts/lint_project_xml.py | |
| parent | 66d3cb727fcc1cb1e524bdabbb3ceb2ec2e4fb5e (diff) | |
Use prebuild modules even when coverage is enabled.
Bug: 194323871
Test: local build passed.
Change-Id: I94a3922453473de7d754afce4b05ac3b6ae3765d
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions