diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-04 17:23:15 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-04 17:23:15 +0200 |
| commit | 67669d119077d09ec956a0203c5611b7a2413935 (patch) | |
| tree | 3ede38620db5134685fef173d725879462f47c27 /executor/executor.cc | |
| parent | 59e97f7e17403780e0ce105a8940e68a7bf895fa (diff) | |
syz-ci: wait for current builds before stopping managers
If update comes in the middle of a long build (bisection),
we will stop all other managers prematurely (bisection can take a day).
So wait for current builds to finish before starting shutdown.
Update #501
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions