Browse Source

Remove maven profile jgit.java8

This profile isn't needed any longer since we require Java 8 as minimum
version.

Change-Id: I8a37eaf874473ff4004b9c074a810dddebde54c8
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
stable-4.10
Matthias Sohn 7 years ago
parent
commit
24a283176b
  1. 28
      pom.xml

28
pom.xml

@ -724,34 +724,6 @@
</distributionManagement> </distributionManagement>
<profiles> <profiles>
<profile>
<id>jgit.java8</id>
<activation>
<jdk>[1.8,)</jdk>
</activation>
<build>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<configuration>
<additionalparam>-Xdoclint:-missing</additionalparam>
</configuration>
</plugin>
</plugins>
</build>
<reporting>
<plugins>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<configuration>
<additionalparam>-Xdoclint:-missing</additionalparam>
</configuration>
</plugin>
</plugins>
</reporting>
</profile>
<profile> <profile>
<id>static-checks</id> <id>static-checks</id>
<build> <build>

Loading…
Cancel
Save