diff options
author | Tor Norbye <tnorbye@google.com> | 2012-02-21 15:07:28 -0800 |
---|---|---|
committer | Android (Google) Code Review <android-gerrit@google.com> | 2012-02-21 15:07:28 -0800 |
commit | a9d5ae4c15215f3b5e26784a59d13f75aea4762c (patch) | |
tree | 12c7cb35e6690db2659eff038a4cefd322aa1ffa /lint/cli | |
parent | 9177a275c043e15ed6c5d43ec64333759d62a611 (diff) | |
parent | e0281950ddcd517c9ef4c6ed118f33a9fd063cec (diff) | |
download | sdk-a9d5ae4c15215f3b5e26784a59d13f75aea4762c.zip sdk-a9d5ae4c15215f3b5e26784a59d13f75aea4762c.tar.gz sdk-a9d5ae4c15215f3b5e26784a59d13f75aea4762c.tar.bz2 |
Merge "Use lint error mechanism for config issues like no classes found"
Diffstat (limited to 'lint/cli')
-rw-r--r-- | lint/cli/src/com/android/tools/lint/Main.java | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/lint/cli/src/com/android/tools/lint/Main.java b/lint/cli/src/com/android/tools/lint/Main.java index 607b882..e12e473 100644 --- a/lint/cli/src/com/android/tools/lint/Main.java +++ b/lint/cli/src/com/android/tools/lint/Main.java @@ -16,6 +16,8 @@ package com.android.tools.lint; +import static com.android.tools.lint.client.api.IssueRegistry.LINT_ERROR; +import static com.android.tools.lint.client.api.IssueRegistry.PARSER_ERROR; import static com.android.tools.lint.detector.api.LintConstants.DOT_XML; import static com.android.tools.lint.detector.api.LintUtils.endsWith; @@ -1030,7 +1032,7 @@ public class Main extends LintClient { } } - if (mCheck != null) { + if (mCheck != null && issue != LINT_ERROR && issue != PARSER_ERROR) { return Severity.IGNORE; } @@ -1081,6 +1083,9 @@ public class Main extends LintClient { chop++; } path = path.substring(chop); + if (path.length() == 0) { + path = file.getName(); + } } return path; |