diff options
| author | gjoranv <gv@oath.com> | 2018-06-28 17:18:21 +0200 |
|---|---|---|
| committer | gjoranv <gv@oath.com> | 2018-06-29 15:10:27 +0200 |
| commit | 9118a8b241ebae28b7e12be21c4fdb1dca062641 (patch) | |
| tree | d59b0d4b0f6bf33d25348088fb2067b3bf855ac1 /parent | |
| parent | a81fc219fa2ce182efdc6615647ae52e43489a03 (diff) | |
Java 10: Use latest maven-javadoc-plugin.
* NPE was thrown
* Set html version for javadoc-plugin to avoid warning.
(jdk-based activation of profile)
Diffstat (limited to 'parent')
| -rw-r--r-- | parent/pom.xml | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index b15a4b13410..c2c556d4586 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -239,6 +239,27 @@ </build> <profiles> <profile> + <!-- TODO: move config into pluginManagement when we don't have to support older jdks --> + <id>jdk10</id> + <activation> + <jdk>[10, )</jdk> + </activation> + <build> + <pluginManagement> + <plugins> + <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-javadoc-plugin</artifactId> + <configuration> + <!-- Avoid javadoc warning ".. not specified the version of HTML .." --> + <additionalJOption>-html4</additionalJOption> + </configuration> + </plugin> + </plugins> + </pluginManagement> + </build> + </profile> + <profile> <id>attach-sources</id> <activation> <property> |