equal
deleted
inserted
replaced
799 |
799 |
800 for (String opt: opts) { |
800 for (String opt: opts) { |
801 doclintOpts.add(opt == null ? DocLint.XMSGS_OPTION : DocLint.XMSGS_CUSTOM_PREFIX + opt); |
801 doclintOpts.add(opt == null ? DocLint.XMSGS_OPTION : DocLint.XMSGS_CUSTOM_PREFIX + opt); |
802 } |
802 } |
803 |
803 |
804 if (doclintOpts.size() == 1 |
804 if (doclintOpts.isEmpty()) { |
|
805 doclintOpts.add(DocLint.XMSGS_OPTION); |
|
806 } else if (doclintOpts.size() == 1 |
805 && doclintOpts.get(0).equals(DocLint.XMSGS_CUSTOM_PREFIX + "none")) { |
807 && doclintOpts.get(0).equals(DocLint.XMSGS_CUSTOM_PREFIX + "none")) { |
806 return; |
808 return; |
807 } |
809 } |
808 |
810 |
809 JavacTask t = BasicJavacTask.instance(context); |
811 JavacTask t = BasicJavacTask.instance(context); |