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/pom.xml | |
| parent | 1ded5cb169f58717e170a2faaaa4df623677aa34 (diff) | |
Ignore 'redundant cast' warnings from protoc-generated sources
Diffstat (limited to 'logserver/pom.xml')
| -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> |