mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d0f32ac0 | patch | commit | ignore whitespace
vharseko
12.11.2019 e1e11d3d8b15ceabaf2edf52a5c72864dd0a1327 
maven-compiler-plugin source+target 1.8
1 files modified
8 ■■■■■ changed files
pom.xml 8 ●●●●● patch | view | raw | blame | history 
 pom.xml


@@ -336,8 +336,12 @@


                    <groupId>org.apache.maven.plugins</groupId>


                    <artifactId>maven-compiler-plugin</artifactId>


                    <configuration>


                        <source>1.7</source>


                        <target>1.7</target>


                        <source>1.8</source>


                        <target>1.8</target>


                        <fork>true</fork>


                        <compilerArgs>


                            <arg>-XDignore.symbol.file</arg>


                        </compilerArgs>


                    </configuration>


                </plugin>