diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2022-04-23 11:51:00 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2022-04-25 11:30:19 +0200 |
| commit | d3cb15ccaccfb22b42c37041700f48bed9a29a6c (patch) | |
| tree | 01aa11bd85a76c8bb6c7f5d0c3df4be8f4a32e44 /sys/linux | |
| parent | 0fb86198533c24d40cbb1ae081d0ba3652cf10f6 (diff) | |
tools/syz-kconf: add SOURCEDIR replacement var
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions
