diff options
author | Adin Scannell <ascannell@google.com> | 2021-01-12 16:59:23 -0800 |
---|---|---|
committer | gVisor bot <gvisor-bot@google.com> | 2021-01-12 17:02:11 -0800 |
commit | be2b9d75d75e0e7371cd868589d57f4ddee44781 (patch) | |
tree | 4a3553735dcfb39bc0ae0caba51feb1adf92a6ad /g3doc/user_guide | |
parent | ad0ac73626c3d65712791eba652c05869ed287f8 (diff) |
Drop shutdown in docker run.
This can race and cause issues. Instead, a manual shutdown can be done
via 'bazel-shutdown' if required for specific cases. The ARM64 builds
are now done using cross-compilation, so this hack is not necessary.
PiperOrigin-RevId: 351477908
Diffstat (limited to 'g3doc/user_guide')
0 files changed, 0 insertions, 0 deletions