equal
deleted
inserted
replaced
834 if (doclintOpts.equals(Collections.singleton(DocLint.XMSGS_CUSTOM_PREFIX + "none"))) |
834 if (doclintOpts.equals(Collections.singleton(DocLint.XMSGS_CUSTOM_PREFIX + "none"))) |
835 return List.nil(); |
835 return List.nil(); |
836 |
836 |
837 String checkPackages = options.get(Option.XDOCLINT_PACKAGE); |
837 String checkPackages = options.get(Option.XDOCLINT_PACKAGE); |
838 if (checkPackages != null) { |
838 if (checkPackages != null) { |
839 for (String s : checkPackages.split("\\s+")) { |
839 doclintOpts.add(DocLint.XCHECK_PACKAGE + checkPackages); |
840 doclintOpts.add(DocLint.XCHECK_PACKAGE + s); |
|
841 } |
|
842 } |
840 } |
843 |
841 |
844 String format = options.get(Option.DOCLINT_FORMAT); |
842 String format = options.get(Option.DOCLINT_FORMAT); |
845 if (format != null) { |
843 if (format != null) { |
846 doclintOpts.add(DocLint.XHTML_VERSION_PREFIX + format); |
844 doclintOpts.add(DocLint.XHTML_VERSION_PREFIX + format); |