diff options
Diffstat (limited to 'parent')
-rw-r--r-- | parent/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index c7e0f490905..e6ad2b18df9 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -110,6 +110,7 @@ <arg>-Xlint:-try</arg> <arg>-Xlint:-processing</arg> <arg>-Xlint:-varargs</arg> + <arg>-Xlint:-options</arg> <arg>-Werror</arg> </compilerArgs> </configuration> |