diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-04-11 00:43:44 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-04-11 02:34:37 +0200 |
| commit | f0b860fbad4d79117d2d3bbfb47bcb26d0efea6d (patch) | |
| tree | 61eb1837c58a3cae5527afced99c60fd16ea16e8 /thirdparty/zlib | |
| parent | 83d26737727f281afcb33f66fea5d09ed6c48d5a (diff) | |
makerst: Improve error reporting
- List file names before error descriptions, as is common in linters.
- Print the number of errors reported at the end of the list.
- Use double quotes instead of single quotes in messages.
Diffstat (limited to 'thirdparty/zlib')
0 files changed, 0 insertions, 0 deletions