Merge pull request #325 from asl/max-error-counter

Do not use the same counter for warnings and errors
This commit is contained in:
Daan 2020-12-10 10:23:08 -08:00 committed by GitHub
commit 56a1c852ea
WARNING! Although there is a key with this ID in the database it does not verify this commit! This commit is SUSPICIOUS.
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 3 deletions

View file

@ -317,6 +317,7 @@ typedef enum mi_option_e {
mi_option_limit_os_alloc,
mi_option_os_tag,
mi_option_max_errors,
mi_option_max_warnings,
_mi_option_last
} mi_option_t;