mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
vharseko
12.11.2019 7ae769662b6bd303f22387de93d30a040126926e 
 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>