diff options
| author | Andrei Vagin <avagin@google.com> | 2021-02-10 11:20:27 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-10 11:20:27 -0800 |
| commit | a52ee10ae11c1342cfca60cf3957619bcf92bd1a (patch) | |
| tree | e72fe7cd909bc8e07ade200da63d88be66569f63 /executor | |
| parent | 50068b628237c3793bf1df02bd207b713ff17b8b (diff) | |
pkg/build: exclude gvisor pkg/ring0 from coverage instrumentation (#2436)
It was a part of the pkg/sentry/platform, but recently it was moved out.
Signed-off-by: Andrei Vagin <avagin@google.com>
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions