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 /CONTRIBUTORS | |
| 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 'CONTRIBUTORS')
| -rw-r--r-- | CONTRIBUTORS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CONTRIBUTORS b/CONTRIBUTORS index 9825f3c61..9e2c8005f 100644 --- a/CONTRIBUTORS +++ b/CONTRIBUTORS @@ -33,3 +33,4 @@ Mitchell Horne Denis Efremov Ondrej Mosnacek Daniel Borkmann +Joey Jiao |