File: 0015-javadoc-ignore-source-errors.patch

package info (click to toggle)
ant 1.10.15-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 22,624 kB
  • sloc: java: 146,950; xml: 39,939; sh: 504; perl: 135; javascript: 65; python: 53; jsp: 38; makefile: 35
file content (18 lines) | stat: -rw-r--r-- 698 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Description: Ignore source errors when using the default doclet with Java 9
Author: Emmanuel Bourg <ebourg@apache.org>
Forwarded: no
--- a/src/main/org/apache/tools/ant/taskdefs/Javadoc.java
+++ b/src/main/org/apache/tools/ant/taskdefs/Javadoc.java
@@ -1858,6 +1858,12 @@
 
         doTags(toExecute);
         doSource(toExecute);
+
+        if (doclet == null && LanguageLevel.isDebianBuild() && JavaEnvUtils.isAtLeastJavaVersion("9")) {
+            toExecute.createArgument().setValue("--ignore-source-errors");
+            log("Debian build on Java 9+ detected: Adding the --ignore-source-errors option");
+        }
+
         doLinkSource(toExecute);
         doNoqualifier(toExecute);