diff options
| author | Matthias Sohn | 2019-12-16 14:22:08 +0000 |
|---|---|---|
| committer | Matthias Sohn | 2019-12-17 09:48:40 +0000 |
| commit | e3922b590bef45c72cd43e9629fda5f173be74ca (patch) | |
| tree | f2b5fe305b71a77b622ad9a7a5a570e55cbf88f5 | |
| parent | 549c3acc5f5ced76b8649630850e00f68798f311 (diff) | |
| download | jgit-e3922b590bef45c72cd43e9629fda5f173be74ca.tar.gz jgit-e3922b590bef45c72cd43e9629fda5f173be74ca.tar.xz jgit-e3922b590bef45c72cd43e9629fda5f173be74ca.zip | |
Ignore warnings for generated source code in org.eclipse.jgit.benchmark
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>
| -rw-r--r-- | org.eclipse.jgit.benchmarks/.classpath | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit.benchmarks/.classpath b/org.eclipse.jgit.benchmarks/.classpath index 438d155e31..1285bd9e36 100644 --- a/org.eclipse.jgit.benchmarks/.classpath +++ b/org.eclipse.jgit.benchmarks/.classpath @@ -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"/> |