diff options
Diffstat (limited to 'lint/cli/src/com/android/tools/lint/Main.java')
| -rw-r--r-- | lint/cli/src/com/android/tools/lint/Main.java | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lint/cli/src/com/android/tools/lint/Main.java b/lint/cli/src/com/android/tools/lint/Main.java index 2621d0a..6cf2863 100644 --- a/lint/cli/src/com/android/tools/lint/Main.java +++ b/lint/cli/src/com/android/tools/lint/Main.java @@ -842,14 +842,14 @@ public class Main extends LintClient { } @Override - public void report(Context context, Issue issue, Location location, String message, - Object data) { + public void report(Context context, Issue issue, Severity severity, Location location, + String message, Object data) { assert context.isEnabled(issue); - Severity severity = context.getConfiguration().getSeverity(issue); if (severity == Severity.IGNORE) { return; } + if (severity == Severity.FATAL) { mFatal = true; // From here on, treat the fatal error as an error such that we don't display |