diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-05-11 12:57:07 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-05-12 11:38:18 +0200 |
| commit | 39449875b60fb5a6e5ab53a1b2231ab6b29506a7 (patch) | |
| tree | 8e695846dbf7b29b5c82a472209d8122f943919a /executor | |
| parent | c017728b48d0996df3928156621be26383186a27 (diff) | |
syz-ci: don't assume kernel config is called .config
.config is linux-ism. We have a convention that kernel config
is copied to kernel.config file. Use it.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions