diff options
author | Jamie Liu <jamieliu@google.com> | 2020-03-27 16:54:45 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-03-27 16:57:14 -0700 |
commit | f6e4daa67ad5f07ac1bcff33476b4d13f49a69bc (patch) | |
tree | 8eae0a38fb6d5db603053a9db6f77b31d0e8e671 /Makefile | |
parent | 10f2c8db915df14102e3f4d9efcfce372c90707a (diff) |
Add vfs.PathnameReachable().
/proc/[pid]/mount* omit mounts whose mount point is outside the chroot, which
is checked (indirectly) via __d_path().
PiperOrigin-RevId: 303434226
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions