diff options
author | Andrei Vagin <avagin@google.com> | 2019-09-17 12:44:05 -0700 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2019-09-17 12:45:22 -0700 |
commit | 3b7119a7c91789f69d8637401a1359229a33b213 (patch) | |
tree | eeda4cd6547f2f38a628ec6fcd5db8fca528b1cc /.gitignore | |
parent | 747320a7aa013f6b987f8f52173f51ff3aedb66c (diff) |
platform/ptrace: log exit code for stub processes
PiperOrigin-RevId: 269631877
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions