diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-20 14:19:12 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-20 16:45:34 +0100 |
| commit | f83f92fd5e8f53114eb4e4149c19f2c4d7fddc78 (patch) | |
| tree | b7bdfc5bdd2ffb3a9f0044e978b8f85946952134 /sys/linux/dev_cdrom.txt | |
| parent | ae5ed0b14052adc4be0d98e5e8a46a0b0ab2c565 (diff) | |
tools/syz-check: inject description compilation warnings
Currently we print them as part of `make genereate`,
but nobody reads them, too much output each time.
Don't print them in `make generate` and instead
print in syz-check, the warn files are a good mechanism
to handle "known warnings".
Diffstat (limited to 'sys/linux/dev_cdrom.txt')
0 files changed, 0 insertions, 0 deletions