diff options
| author | Jiangen Jiao <joey.jiaojg@gmail.com> | 2018-07-23 14:11:45 +0800 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-23 09:52:04 +0200 |
| commit | f69c5fcd766adfb7894e1b0cd35f42c633f16419 (patch) | |
| tree | 6c8ecb6841a1a0e2e683278387854d7e828ea3f1 /executor | |
| parent | 8cc079c3f60f253f57b715c3d87937541d03fae9 (diff) | |
syz-manager: Support kernelSrc and vmlinux from different tree
If vmlinux built from different tree from kernelSrc, cover page will failed to
show. So match only the path without prefix.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions