diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-04-08 18:40:46 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-04-08 18:42:05 -0700 |
| commit | 0f75f7273d8c4ace73d93b6b00f81d53a5cf76ea (patch) | |
| tree | bee8dc0e62ed1395da1817f643ecdc638eeafc07 /tools/workspace_status.sh | |
| parent | 6dd5a1f3fe55daa8510b1ee5e3a59219aad92af6 (diff) | |
Don't call platform.AddressSpace.MapFile with no permissions.
PiperOrigin-RevId: 305598136
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions