diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-09-19 16:42:00 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-09-20 11:22:57 +0200 |
| commit | 5adbd06eff26e9e4c15f0126199b8e6a96e84230 (patch) | |
| tree | 6c57c60d7aa58517ea746f6bcea59b02a5bc90e8 /executor | |
| parent | 0415891efa8b16ba75ca7f335405644b3d54b4f4 (diff) | |
syz-manager: improve coverage source file path generation
If we don't determine correct prefix (e.g. some paths are not full paths),
we can plumb kernel source path twice. It seems that it's not possible
to do the right thing in all possible combinations of what can be in
debug info, if the kernel sources were moved or not, if we have kernel_src
or not. But at least don't plumb kernel_src second time.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions