diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-09 09:09:57 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-11-09 15:01:43 +0100 |
| commit | 5af5c86ebc52f4f9d4b2ce46a0cc134b4273f122 (patch) | |
| tree | db69347ac6345b07e37977c6d89bdf94dd853ebe /servers | |
| parent | 8a318fe1dd201dfecb26e1110df53c09864afd91 (diff) | |
CI: Build with warnings=extra to catch 'em all
... on all platforms but MSVC, as it still has a number of unsolved warnings
in its `/Wall` level. Some of it might be valid, others might be overkill,
this needs further assessment and fixes. (We could also change the `extra`
level to `/W4` on MSVC if that's more meaningful.)
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions