diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-03 09:58:32 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-03 16:11:49 +0100 |
| commit | 7e52950696f644435f8c5c34470514a80db79417 (patch) | |
| tree | d88f0b513ac9edf2e32c35aa313bdb046e0e0307 /executor/executor_linux.h | |
| parent | 9dcc1191cb8089742cc226a8b64f992ae505cc22 (diff) | |
syz-manager: init coverage without manager mutex
Coverage initialization takes very long time,
if we hold manager mutex we stall all rpc's and everything.
Do it without manager mutex.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions