RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint
Guoxiong Li
github.com+13688759+lgxbslgx at openjdk.java.net
Thu Dec 17 05:07:01 UTC 2020
On Wed, 16 Dec 2020 18:34:01 GMT, Jonathan Gibbons <jjg at openjdk.org> wrote:
>> Hi all,
>>
>> This patch splits out the concrete keys of -Xlint into a new option, --help-lint,
>> so that the output of --help-extra is kept clean and concise.
>>
>> Thank you for taking the time to review.
>>
>> Best Regards.
>
> Because a new option is being added, a CSR approval is required.
@jonathan-gibbons Could I ask your help to create the CSR request in the bug tracker?
-------------
PR: https://git.openjdk.java.net/jdk/pull/1758
More information about the compiler-dev
mailing list