diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-11-30 15:07:25 -0800 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-11-30 15:09:28 -0800 |
| commit | 786f32c2b1c1fa6a84603758ae93edbaa24b4720 (patch) | |
| tree | 061be147be1a353db2906c2f3b4768e402b0d377 /tools/workspace_status.sh | |
| parent | e813008664ffb361211936dda8631754411cca4f (diff) | |
Do not os.Exit() from test/benchmarks/harness.Harness.Init with no args.
PiperOrigin-RevId: 344896991
Diffstat (limited to 'tools/workspace_status.sh')
0 files changed, 0 insertions, 0 deletions