diff options
author | Jon Marius Venstad <venstad@gmail.com> | 2019-02-26 10:24:25 +0100 |
---|---|---|
committer | Jon Marius Venstad <venstad@gmail.com> | 2019-02-26 10:30:00 +0100 |
commit | daf56a4317534165b76e6c4a752b20a00ce056e2 (patch) | |
tree | 9e2ea7737042ed09a9fc92f3e968fc0def817827 /service-monitor/pom.xml | |
parent | 1ae68bd4ddf330b05dcf03ff864167cb81c5fe5b (diff) |
Fix imports and linting
Diffstat (limited to 'service-monitor/pom.xml')
-rw-r--r-- | service-monitor/pom.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/service-monitor/pom.xml b/service-monitor/pom.xml index c6504ff9315..0826826f433 100644 --- a/service-monitor/pom.xml +++ b/service-monitor/pom.xml @@ -130,6 +130,7 @@ <compilerArgs> <arg>-Xlint:all</arg> <arg>-Xlint:-serial</arg> + <arg>-Xlint:-try</arg> <arg>-Werror</arg> </compilerArgs> </configuration> |