RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint [v2]
Guoxiong Li
gli at openjdk.java.net
Thu Apr 22 17:43:15 UTC 2021
On Wed, 23 Dec 2020 04:41: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 incrementally with one additional commit since the last revision:
>
> Remove the content in documentation javac.1
The CSR was created. Please see [JDK-8265772](https://bugs.openjdk.java.net/browse/JDK-8265772). And I updated the copyright. Thank you for taking the time to review the CSR andthis patch.
-------------
PR: https://git.openjdk.java.net/jdk/pull/1758
More information about the compiler-dev
mailing list