| commit | 51d91826eb14d4951be6e825a84ff5bab3cd3dc5 | [log] [tgz] |
|---|---|---|
| author | David Pursehouse <dpursehouse@digital.ai> | Thu Apr 23 15:27:21 2020 +0900 |
| committer | David Pursehouse <dpursehouse@digital.ai> | Thu Apr 23 15:27:30 2020 +0900 |
| tree | 04fe1ca8e3a76e1dec5b542fe9f2ef155b1fe9d2 | |
| parent | c090c619e1decddfa92831ecd03148bd145e20e1 [diff] |
Exclude generated sources from error-prone Change-Id: I1745ea671de309d76e140d7881eb8ed51eeed4a0
diff --git a/pom.xml b/pom.xml index f3c0622..fb7a4ba 100644 --- a/pom.xml +++ b/pom.xml
@@ -388,6 +388,7 @@ <showWarnings>true</showWarnings> <compilerArgs> <arg>-Xlint:deprecation</arg> + <arg>-XepExcludedPaths:.*/gwtorm/target/generated-sources/.*/.*</arg> </compilerArgs> <source>${java.version}</source> <target>${java.version}</target>