diff options
| author | Adin Scannell <ascannell@google.com> | 2020-05-07 16:37:53 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-05-07 16:39:37 -0700 |
| commit | 5536073969ae1805fc77743e7aac540af6b66a3e (patch) | |
| tree | 3ba94096b09b496477e0e75df3174cdd18ed3b26 /tools/BUILD | |
| parent | 7b4a913f36e2fededca9b1d2f73588eca9c4b683 (diff) | |
make: bazel docker container should clean itself up.
This change two does things:
1) Name the container based on the canonical directory path.
2) Allow the container to exit after bazel itself has exited.
The first is necessary to support multiple working directories,
while the second one allows these instances to clean up properly.
PiperOrigin-RevId: 310460748
Diffstat (limited to 'tools/BUILD')
0 files changed, 0 insertions, 0 deletions