diff options
author | Zach Koopmans <zkoopmans@google.com> | 2020-02-28 13:21:33 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2020-02-28 13:22:35 -0800 |
commit | df8740b8a7fb8fa05d7a0387749b61d57a74c06c (patch) | |
tree | c25043904caaa3a2a391cf30648a551d08f90b3f /pkg/pool | |
parent | 463f4217d109ded8af758fe51a5daf8670da9794 (diff) |
Mark gettid and getdents as nogotsan
PiperOrigin-RevId: 297915815
Diffstat (limited to 'pkg/pool')
0 files changed, 0 insertions, 0 deletions