diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-11-13 11:26:34 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-11-13 15:00:09 +0000 |
| commit | 12db6bb497226c7de224a55ec91f863f2a444439 (patch) | |
| tree | 7aaea1c57f8b80a719a462e67e4698ed8e8a6cf4 /sys/linux | |
| parent | 4dfba277487a7023ab9f5783302da4a9b5e9bef8 (diff) | |
tools/syz-declextract: refine kernel file check
Some kernel build systems build some additional host files
that are not part of the kernel. Also check for -DKBUILD_BASENAME
define to filter them out.
Diffstat (limited to 'sys/linux')
0 files changed, 0 insertions, 0 deletions