diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-13 19:41:17 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-13 20:04:10 +0100 |
| commit | b22a7ec30951c01f7f54f811b7f636987c86b0ca (patch) | |
| tree | ceee257685f328faed1c35a730faae7c3aaba26d /docs/linux | |
| parent | 5bd4cb9beb756605ec069675ad959ebfc27598c6 (diff) | |
syz-manager: don't initialize coverage if not necessary
A previous commit broke syz-manager for targets that don't support
coverage at all. Don't try to initialize coverage if coverage filter
is not enabled.
Diffstat (limited to 'docs/linux')
0 files changed, 0 insertions, 0 deletions