diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2019-12-18 10:48:20 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2019-12-18 10:50:24 +0100 |
| commit | 1b49002e79aa72d2d5c70742da91ac9cd9bc6710 (patch) | |
| tree | cbeb0044cc6947afde43f219b28fc15359ccf466 /sys/linux/dev_loop.txt | |
| parent | 2f68adff0b52208bd2a86941c4c406fb9dcaa5e6 (diff) | |
tools/syz-check: don't print line numbers for warnings
Line numbers create huge diffs when lines change slightly.
That's very unhandy b/c we want to look at added/removed warnings.
Diffstat (limited to 'sys/linux/dev_loop.txt')
0 files changed, 0 insertions, 0 deletions