diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-09-23 10:02:53 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-09-23 10:02:53 +0200 |
| commit | 8f8cf20bd23a37aaf4ac3a7ec3fab2370ef2a755 (patch) | |
| tree | 4e2931acc236c1c5b83352dd579a62b2c4bf97c8 /executor/syscalls_fuchsia.h | |
| parent | 997ce2252ab1a4dc2d5d673b50b6c035e2dca17b (diff) | |
syz-manager: make vmlinux optional
It's currently both optional and non optional.
We require it to be non-empty, but at the same time allow fake "-"
which effectively means "no vmlinux". Make it optional.
Diffstat (limited to 'executor/syscalls_fuchsia.h')
0 files changed, 0 insertions, 0 deletions