RFR: 8230623: Extract command-line help for -Xlint sub-options to new --help-lint [v5]
Guoxiong Li
gli at openjdk.java.net
Thu May 27 08:19:24 UTC 2021
> 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:
Improve the text in the resource file
-------------
Changes:
- all: https://git.openjdk.java.net/jdk/pull/1758/files
- new: https://git.openjdk.java.net/jdk/pull/1758/files/fe1ece10..7d35eb6a
Webrevs:
- full: https://webrevs.openjdk.java.net/?repo=jdk&pr=1758&range=04
- incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=1758&range=03-04
Stats: 3 lines in 1 file changed: 0 ins; 0 del; 3 mod
Patch: https://git.openjdk.java.net/jdk/pull/1758.diff
Fetch: git fetch https://git.openjdk.java.net/jdk pull/1758/head:pull/1758
PR: https://git.openjdk.java.net/jdk/pull/1758
More information about the compiler-dev
mailing list