diff options
| author | Arne H Juul <arnej@yahoo-inc.com> | 2017-04-21 11:34:45 +0200 |
|---|---|---|
| committer | Arne H Juul <arnej@yahoo-inc.com> | 2017-04-21 11:53:19 +0200 |
| commit | 3bcadc2fb3721fbf9cf7bfc70cd960d1d63bff35 (patch) | |
| tree | b764c951870c94299bba17e2863b71b17aa11c1d /document | |
| parent | 18f4b81f40c27934441b049ebd653388950176b3 (diff) | |
enable some lint warnings
* note that generics here was retrofitted into a design where
they don't really fit, so there are hundreds of unchecked
and rawtypes warnings that can't really be fixed in a good way;
therefore these warnings are turned off.
Diffstat (limited to 'document')
| -rw-r--r-- | document/pom.xml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/document/pom.xml b/document/pom.xml index 71713b27050..467a9409510 100644 --- a/document/pom.xml +++ b/document/pom.xml @@ -142,6 +142,20 @@ </execution> </executions> </plugin> + <plugin> + <groupId>org.apache.maven.plugins</groupId> + <artifactId>maven-compiler-plugin</artifactId> + <configuration> + <compilerArgs> + <arg>-Xlint:all</arg> + <arg>-Xlint:-serial</arg> + <arg>-Xlint:-rawtypes</arg> + <arg>-Xlint:-unchecked</arg> + <arg>-Xlint:-cast</arg> + <arg>-Werror</arg> + </compilerArgs> + </configuration> + </plugin> </plugins> </build> </project> |