]> source.dussan.org Git - jgit.git/commitdiff
Ignore warnings for generated source code in org.eclipse.jgit.benchmark 38/154638/1
authorMatthias Sohn <matthias.sohn@sap.com>
Mon, 16 Dec 2019 14:22:08 +0000 (15:22 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Tue, 17 Dec 2019 09:48:40 +0000 (10:48 +0100)
The source code in the folder .apt_generated is generated by the JMH
code generator, so there's no point in raising any warnings as this
could only be fixed in the upstream code generator.

Change-Id: I882888e7bf924f9ae74182598fcb91671a5c9818
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit.benchmarks/.classpath

index 438d155e3184d4a4ce77f8d66407a4f927b7c0d0..1285bd9e362b8afb668eba71413d432b61d788b7 100644 (file)
@@ -18,6 +18,7 @@
        </classpathentry>
        <classpathentry kind="src" path=".apt_generated">
                <attributes>
+                       <attribute name="ignore_optional_problems" value="true"/>
                        <attribute name="optional" value="true"/>
                        <attribute name="maven.pomderived" value="true"/>
                        <attribute name="ignore_optional_problems" value="true"/>