Count "unused extern" errors as lints rather than normal errors.
This commit is contained in:
parent
f00c088393
commit
807c8687de
@ -1162,7 +1162,7 @@ pub fn emit_unused_externs(
|
|||||||
let mut inner = self.inner.borrow_mut();
|
let mut inner = self.inner.borrow_mut();
|
||||||
|
|
||||||
if loud && lint_level.is_error() {
|
if loud && lint_level.is_error() {
|
||||||
inner.err_count += 1;
|
inner.lint_err_count += 1;
|
||||||
inner.panic_if_treat_err_as_bug();
|
inner.panic_if_treat_err_as_bug();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user