diff options
| author | 2020-07-07 15:19:44 +0100 | |
|---|---|---|
| committer | 2020-07-08 12:56:29 +0100 | |
| commit | cd80a6afea7e800c4eafd8f59bd6103430a7aac9 (patch) | |
| tree | 87d69d391b861fb31596e7abe2346baab4ef0a08 /tools/extract_kernel.py | |
| parent | ace5860719e5aac0ce59ad6f346b62db7c648647 (diff) | |
Turn `COVERAGE_PATHS` and `COVERAGE_EXCLUDE_PATHS` into obsolete variables.
(cherry picked from commit c276bf4f3cc72e479d21c7bd0b34673d93e76f9a)
Test: m nothing
Bug: 158212027
Change-Id: Ibc0dbfd21465ab6fc5b826a52bf605910af283e7
Merged-In: Ibc0dbfd21465ab6fc5b826a52bf605910af283e7
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions