RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint [v3]

Guoxiong Li gli at openjdk.java.net
Tue May 11 02:18:08 UTC 2021


On Thu, 22 Apr 2021 17:43:06 GMT, Guoxiong Li <gli 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.
>
> Guoxiong Li has updated the pull request with a new target base due to a merge or a rebase. The pull request now contains four commits:
> 
>  - Update copyright
>  - Merge branch 'master' into JDK-8230623
>  - Remove the content in documentation javac.1
>  - 8230623: Extract command-line help for -Xlint sub-options to new --help-lint

Ping. 

This issue may block [JDK-8266239](https://bugs.openjdk.java.net/browse/JDK-8266239).
Could I ask your help to review this patch? Thanks a lot.

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

PR: https://git.openjdk.java.net/jdk/pull/1758


More information about the compiler-dev mailing list