diff options
| author |  Craig Tiller <ctiller@google.com> | 2015-08-25 09:27:10 -0700 |
|---|---|---|
| committer | Craig Tiller <ctiller@google.com> | 2015-08-25 09:27:10 -0700 |
| commit | 43fef09aecaa81a9e16e2b7ecc5598c223051f15 (patch) | |
| tree | 16f4a87486839b8d3c29d06b2eac5c2a790cf4a7 /src/compiler/generator_helpers.h | |
| parent | 03d281ab1b59185959afff7621d69a9b77387cfa (diff) | |
Don't fail a build on failure to kill a docker instance
It's quite ok for a docker instance to already be dead.
Diffstat (limited to 'src/compiler/generator_helpers.h')
0 files changed, 0 insertions, 0 deletions