diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-10 13:04:01 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-10 16:12:26 +0200 |
| commit | 80178271447455efb7d12ef52f09e8408c042d59 (patch) | |
| tree | 548dc8f84003b9c46e1f35cb66c2e223ea813fd4 /.github/ISSUE_TEMPLATE | |
| parent | 4e4e16f9a94d4fb7e25cc21952845f2ab69a6ff9 (diff) | |
SCons: Re-enable treating `#warning` as error with `werror`
Replace all TODO uses of `#warning` by proper TODO comments, and will open
matching bug reports to keep track of them.
We don't have a great track record fixing TODOs, but I'd wager we're even
worse for fixing these "TODO #warning" so we should prohibit this usage.
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions