diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-03-29 11:05:35 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-03-29 11:05:35 +0100 |
| commit | faba132374ae8b0913ea43bdeed00616c851893a (patch) | |
| tree | 24b987f7ca2e20ede43356b6d40fc082f4bcca7d /docs/linux/setup.md | |
| parent | 9633c5c8a1a030cdfdc0f94ae460314c7fc15faa (diff) | |
pkg/build: shutdown bazel in case of errors too
Diffstat (limited to 'docs/linux/setup.md')
0 files changed, 0 insertions, 0 deletions