diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-02-11 09:23:34 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-02-11 18:26:34 +0100 |
| commit | a5f86b15f4f60350198e4b98fb7451d45d38a186 (patch) | |
| tree | 5c803a6ee6c1d35039b7b5047aaa428693bc7a58 /executor/executor_linux.h | |
| parent | 33087147973d8022864441e8d5428b3bca38f695 (diff) | |
syz-ci: serialize coverage report generation
Report generation can consume lots of memory.
Generate one at a time. Otherwise we see OOMs.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions