diff options
| author |  philwo <philwo@google.com> | 2017-04-11 12:00:13 +0000 |
|---|---|---|
| committer |  Jakob Buchgraber <buchgr@google.com> | 2017-04-12 11:48:49 +0200 |
| commit | c83c570ccf619a0afb9919851067a825eb1ac9ff (patch) | |
| tree | b71105ab3261a9349f8ddf2774b468a1374dd561 /src/create_embedded_tools.sh | |
| parent | 481133fdbcbd4160ea78963a6f8f0db0f5b322f8 (diff) | |
Fix #2769: Worker processes should be killed on 'bazel clean'.
PiperOrigin-RevId: 152799488
Diffstat (limited to 'src/create_embedded_tools.sh')
0 files changed, 0 insertions, 0 deletions