diff options
| author | Dean Deng <deandeng@google.com> | 2020-10-18 22:20:26 -0700 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-19 10:28:24 +0200 |
| commit | ff4a3345a1b2a40ff1b8b983153d0b1fcc72f1c5 (patch) | |
| tree | b47c57cd8e47b1879f80c5a82088efa11bfcdfc0 /CONTRIBUTORS | |
| parent | fea47c014be7a00a32ab016b946c0a77f32c1f40 (diff) | |
pkg/build: omit gvisor platform code from coverage instrumentation
Collecting coverage in platform/ring0 code causes the kvm platform to
crash, possibly due torestrictions on the address space that coverage
data is violating.
Diffstat (limited to 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 7bb381c12..cf33e8b48 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -29,6 +29,7 @@ Google Inc. Ioana-Ruxandra Stancioi Stefano Duo Aleksandr Nogikh + Dean Deng Baozeng Ding Lorenzo Stoakes Jeremy Huang |