diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-09-11 12:38:07 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-09-12 13:03:35 +0200 |
| commit | 7b0683780a0f5f05e602bb3fe9d97c66f2c956e4 (patch) | |
| tree | 930750ec88518252bc4281c81b9aad26acb7a194 /executor/android | |
| parent | c38fcca50dbf789b6524280b8cf32c65d4b4e5e4 (diff) | |
executor: detect gvisor
gvisor coverage is not in the range of linux kernel coverage.
So the coverage filter does not work. Detect if running under gvisor
and skip the coverage filter.
Diffstat (limited to 'executor/android')
0 files changed, 0 insertions, 0 deletions