diff options
| author | Roland Levillain <rpl@google.com> | 2020-07-11 14:32:10 +0000 |
|---|---|---|
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2020-07-11 14:32:10 +0000 |
| commit | ce637304a008a63266ee1a07a672137e452275d1 (patch) | |
| tree | 23f3c3a3229fe0bd7621c3d9b1a7ebe3c3de87e2 /tools/extract_kernel.py | |
| parent | f7d4d1e88568745eb48808c9dfffd5b605376b15 (diff) | |
| parent | be3c3719d4b3b727d6911cab2d8aa7d6dbf39e62 (diff) | |
Merge "Revert^2 "Turn uses of `COVERAGE_PATHS` and `COVERAGE_EXCLUDE_PATHS` into errors.""
Diffstat (limited to 'tools/extract_kernel.py')
0 files changed, 0 insertions, 0 deletions