diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-08 15:03:09 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-08 22:52:24 +0200 |
| commit | 93213ec0d3c4522c8844a51b718eb56ce62f395b (patch) | |
| tree | 93821362ea34d4526f7ef69783b8e400d25199f9 /executor/executor_fuchsia.h | |
| parent | e9da9436ad311ef59d407da7610734d4a3e7480b (diff) | |
syz-manager/mgrconfig: default kernel_src to kernel_obj
... which in turn defaults to vmlinux.
This makes it possible to only specify vmlinux or only kernel_obj.
Diffstat (limited to 'executor/executor_fuchsia.h')
0 files changed, 0 insertions, 0 deletions