diff options
| author | Andrei Vagin <avagin@google.com> | 2020-12-29 14:44:27 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-29 14:44:27 -0800 |
| commit | 0fa352f2d664766b3115daecc56ab8608986864b (patch) | |
| tree | b5ee2944cb44db7bb88faf13101791086e3f6289 /executor/common.h | |
| parent | 856f7b87e5d63bd061fc6ecd4143cd4a6aa8292e (diff) | |
build/gvisor: don't instrument the platform code (#2363)
The instrumentation filter has to match all sub-packges of
//pkg/sentry/platform.
Signed-off-by: Andrei Vagin <avagin@google.com>
Diffstat (limited to 'executor/common.h')
0 files changed, 0 insertions, 0 deletions