diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-04-16 13:28:27 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-04-16 13:57:41 +0200 |
| commit | 9f9383f7b4856e80c28929b241ad39a015d53967 (patch) | |
| tree | a6df69b7fd38e67c6e57db7def0d90c72b747bf7 /executor/executor_linux.h | |
| parent | 45d1c1e0a0baa138cfcbe9caf8cf6bf2ddc7bbf6 (diff) | |
tools/syz-kconf: faster kernel release detection
Turns out kernel version is always encoded in the Makefile.
So just read it from there.
Diffstat (limited to 'executor/executor_linux.h')
0 files changed, 0 insertions, 0 deletions