diff options
| author | Henning Baldersheim <balder@yahoo-inc.com> | 2022-01-09 12:01:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-01-09 12:01:43 +0100 |
| commit | 6b79e91f4b412ac32ce7ff7e476e89cc422ddd38 (patch) | |
| tree | 94b2f282b43f963bb467fc0084641bb1311c3a6d /parent | |
| parent | 6fec8af7cb644f386651a853423f3f5dd7206747 (diff) | |
| parent | 17310a9aaff2e01a7a287c501d299b689e3fa09d (diff) | |
Merge pull request #20714 from vespa-engine/arnej/lint-some-more
no need to suppress "varargs" or "options" warnings anymore
Diffstat (limited to 'parent')
| -rw-r--r-- | parent/pom.xml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/parent/pom.xml b/parent/pom.xml index 36d682e7895..21dda36ad53 100644 --- a/parent/pom.xml +++ b/parent/pom.xml @@ -87,8 +87,6 @@ <arg>-Xlint:-serial</arg> <arg>-Xlint:-try</arg> <arg>-Xlint:-processing</arg> - <arg>-Xlint:-varargs</arg> - <arg>-Xlint:-options</arg> <arg>-Werror</arg> </compilerArgs> </configuration> |