diff options
author | Dean Deng <deandeng@google.com> | 2020-12-14 10:44:53 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-12-14 10:47:01 -0800 |
commit | 65e4ed8fbe15e3a8ebf96fdacf439d30d8a0e491 (patch) | |
tree | b2de965c5d31988928012e5ac77a90a2af327c71 /pkg/sentry/kernel/shm | |
parent | ab593661efe4924369265a6b9f0dc719dcb371ab (diff) |
Do not check for reference leaks after saving.
We should not assert that all resources are dropped after saving.
PiperOrigin-RevId: 347420131
Diffstat (limited to 'pkg/sentry/kernel/shm')
-rw-r--r-- | pkg/sentry/kernel/shm/BUILD | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkg/sentry/kernel/shm/BUILD b/pkg/sentry/kernel/shm/BUILD index 80a592c8f..073e14507 100644 --- a/pkg/sentry/kernel/shm/BUILD +++ b/pkg/sentry/kernel/shm/BUILD @@ -6,6 +6,9 @@ package(licenses = ["notice"]) go_template_instance( name = "shm_refs", out = "shm_refs.go", + consts = { + "enableLogging": "true", + }, package = "shm", prefix = "Shm", template = "//pkg/refsvfs2:refs_template", |