diff options
author | Bjørn Christian Seime <bjorncs@verizonmedia.com> | 2019-03-22 14:59:51 +0100 |
---|---|---|
committer | Bjørn Christian Seime <bjorncs@verizonmedia.com> | 2019-03-22 15:09:22 +0100 |
commit | 3e267128b2ff413bde6115d3f7d5f16d398c78bc (patch) | |
tree | d14c967864dc8baa46cdf7cc73964803b99fce5c /logserver | |
parent | 1ded5cb169f58717e170a2faaaa4df623677aa34 (diff) |
Ignore 'redundant cast' warnings from protoc-generated sources
Diffstat (limited to 'logserver')
-rw-r--r-- | logserver/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/logserver/pom.xml b/logserver/pom.xml index 6018ecccba3..5f87dd21118 100644 --- a/logserver/pom.xml +++ b/logserver/pom.xml @@ -56,6 +56,7 @@ <compilerArgs> <arg>-Xlint:all</arg> <arg>-Xlint:-serial</arg> + <arg>-Xlint:-cast</arg> <arg>-Werror</arg> </compilerArgs> </configuration> |