diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-12-27 14:28:08 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-12-27 14:28:08 +0100 |
| commit | 9dd89763a119bc50d28fe0b901cd56a4bd3ea39d (patch) | |
| tree | cdcfd3f10a0c5a1d724904723d693bbf8ee8e6d1 /sys/linux | |
| parent | a113b8e4d7abff262f2de76983e0d372cf62d122 (diff) | |
syz-ci: don't mark build errors as corrupted
Otherwise they get merged with other corrupted reports.
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions