diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2021-11-09 18:34:32 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2021-11-09 19:09:26 +0100 |
| commit | 55fa030c3d6b697dd478390a17c5080d805af593 (patch) | |
| tree | 06115fb46b9b0a8cd815fca6b4eb183ebc774b34 /sys/linux/dev_floppy.txt | |
| parent | 22b866596bd7ad15273e24db02a0ef693737eae8 (diff) | |
dashboard/config/linux: run make configs under syz-env
make configs uses host compilers.
This produces constant diffs in the generated configs related to different compiler versions.
Suggest to run make configs under syz-env and check-in configs produced this way.
Diffstat (limited to 'sys/linux/dev_floppy.txt')
0 files changed, 0 insertions, 0 deletions