Integrated: 8352612: No way to add back lint categories after "none"

[Archie Cobbs]

On Tue, 25 Mar 2025 13:42:47 GMT, Archie Cobbs <acobbs at openjdk.org> wrote:

> This PR relates to the `-Xlint:none` flag. Currently, it not only disables all lint categories as one would expect, but it also disables all non-mandatory warnings, period. In other words, `-Xlint:none` has `-nowarn` as a hidden side-effect. So for example, trying to do `-Xlint:none,serial` to enable only the `serial` lint category is futile: the category will be enabled but the warnings won't ever appear. This PR removes that hidden side-effect, and also clarifies some of the help output.

This pull request has now been integrated.

Changeset: ca7e4c4e
Author:    Archie Cobbs <acobbs at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/ca7e4c4e055cf164b1b3707b7cf1ea72b1de77b9
Stats:     57 lines in 11 files changed: 22 ins; 7 del; 28 mod

8352612: No way to add back lint categories after "none"

Reviewed-by: mcimadamore

-------------

PR: https://git.openjdk.org/jdk/pull/24227