diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-11 18:39:48 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-13 18:56:36 +0100 |
| commit | ff8609bfeb35e2b35cc1057942301cf476e29e3b (patch) | |
| tree | 987c01ef4c24b548a431ca955d6ac5dc824e65f9 /executor/executor.cc | |
| parent | 08735619ce6ad7d3fd56c6b83c1372f8ec70057e (diff) | |
pkg/cover: don't fail when can't open single source file
Ignore individual errors of opening/locating source files
because there is a number of reasons when/why it can happen.
We fail only if we can't open/locate any single source file.
syz-ci can mess state of source files (https://github.com/google/syzkaller/issues/1770),
or bazel lies about location of auto-generated files,
or a used can update source files with git pull/checkout.
Update #1770
Diffstat (limited to 'executor/executor.cc')
0 files changed, 0 insertions, 0 deletions