RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint [v4]
Guoxiong Li
gli at openjdk.java.net
Tue May 25 16:07:59 UTC 2021
On Tue, 11 May 2021 02:41:16 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 five commits:
>
> - Merge branch 'master' into JDK-8230623
> - 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 again.
This issue began at Dec 2020. I would like to finish it at JDK 17.
Maybe it is good to integrate it before rampdown phase one(June 10, 2021).
What do you think about this issue? Thanks.
-------------
PR: https://git.openjdk.java.net/jdk/pull/1758
More information about the compiler-dev
mailing list