diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-15 19:21:25 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-16 05:49:44 +0100 |
| commit | 1b84ed358f51f36c0dd1f69ce45a158f82b5f140 (patch) | |
| tree | 89605c73b327818ad6dd5f899fdc78ea6a22a65f /docs/linux | |
| parent | f213e07ead587b07a84e60c356520bce7277166c (diff) | |
executor: don't use coverage edges for gvisor
gvisor coverage is not a trace, so producing edges won't work.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions