RFR: 8352612: No way to add back lint categories after "none" [v4]
Archie Cobbs
acobbs at openjdk.org
Fri Apr 11 13:29:28 UTC 2025
On Fri, 11 Apr 2025 08:10:02 GMT, Maurizio Cimadamore <mcimadamore at openjdk.org> wrote:
>> Hmm how about this:
>>
>> <a id="option-Xlint-custom">`-Xlint:`[`-`]*key*(`,`[`-`]*key*)*</a>
>> : Enables and/or disables warning categories using the one or more of the keys described
>> below separated by commas. The keys `all` and `none` enable or disable all categories
>> (respectively); other keys enable the corresponding category, or disable it if preceded
>> by a hyphen (`-`).
>
> I think this looks good -- defo better than current the text it replaces.
Great, thanks for the suggestions. Updated in 41ee595d8a1.
I will also update the CSR, please take a look at that too if you have time.
-------------
PR Review Comment: https://git.openjdk.org/jdk/pull/24227#discussion_r2039565204
More information about the compiler-dev
mailing list