diff options
Diffstat (limited to 'processing/pom.xml')
| -rw-r--r-- | processing/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/processing/pom.xml b/processing/pom.xml index 9bb9ee77037..7e36ea28ccc 100644 --- a/processing/pom.xml +++ b/processing/pom.xml @@ -49,6 +49,7 @@ <arg>-Xlint:all</arg> <arg>-Xlint:-rawtypes</arg> <arg>-Xlint:-serial</arg> + <arg>-Xlint:-options</arg> <!-- TODO: Remove when on a version above Java 8 --> <arg>-Werror</arg> </compilerArgs> </configuration> |