diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-02-23 08:45:42 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-02-23 08:45:42 +0100 |
| commit | 18107ce07fa018a31936624088bc0bf37fdd432c (patch) | |
| tree | 23830a312f2da622c0e94379bd886843d2bb5a99 /executor/executor_bsd.h | |
| parent | baad4d3621fe1810df733c5cef0e4ab55c76f054 (diff) | |
syz-ci: make some manager creation errors non-fatal
If only part of the managers failed to initialize
we still can continue running the rest.
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions