diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-11 12:35:41 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-13 18:56:36 +0100 |
| commit | 7268cf9dbd7bb12380df1e672578a9a27f4d02ae (patch) | |
| tree | 32f37f35e077425a73e7cc7ad89a4c192442dbaf /executor/common_linux.h | |
| parent | 3e671cc5ce6612d8a67495a107df5ff8091113ea (diff) | |
pkg/cover: pass VM type for report generator
This will be needed for gVisor reports,
the target is "linux" but VM type is "gvisor".
Diffstat (limited to 'executor/common_linux.h')
0 files changed, 0 insertions, 0 deletions