Integrated: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint
Guoxiong Li
gli at openjdk.java.net
Thu May 27 14:09:09 UTC 2021
On Sun, 13 Dec 2020 14:20:45 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.
This pull request has now been integrated.
Changeset: 10a6f5d6
Author: Guoxiong Li <gli at openjdk.org>
Committer: Jonathan Gibbons <jjg at openjdk.org>
URL: https://git.openjdk.java.net/jdk/commit/10a6f5d637053395839002b6617f94f49d3701e7
Stats: 62 lines in 4 files changed: 32 ins; 22 del; 8 mod
8230623: Extract command-line help for -Xlint sub-options to new --help-lint
Reviewed-by: jjg
-------------
PR: https://git.openjdk.java.net/jdk/pull/1758
More information about the compiler-dev
mailing list