8385660: Audit and remove unnecessary lint categories from $DISABLED_WARNINGS#31331
8385660: Audit and remove unnecessary lint categories from $DISABLED_WARNINGS#31331archiecobbs wants to merge 2 commits into
Conversation
|
👋 Welcome back acobbs! A progress list of the required criteria for merging this PR into |
|
❗ This change is not yet ready to be integrated. |
|
@archiecobbs The following labels will be automatically applied to this pull request:
When this pull request is ready to be reviewed, an "RFR" email will be sent to the corresponding mailing lists. If you would like to change these labels, use the /label pull request command. |
|
The total number of required reviews for this PR has been set to 2 based on the presence of this label: |
Remove unnecessary lint categories from
$DISABLED_WARNINGSin makefiles.Progress
Issue
Reviewing
Using
gitCheckout this PR locally:
$ git fetch https://git.openjdk.org/jdk.git pull/31331/head:pull/31331$ git checkout pull/31331Update a local copy of the PR:
$ git checkout pull/31331$ git pull https://git.openjdk.org/jdk.git pull/31331/headUsing Skara CLI tools
Checkout this PR locally:
$ git pr checkout 31331View PR using the GUI difftool:
$ git pr show -t 31331Using diff file
Download this PR as a diff file:
https://git.openjdk.org/jdk/pull/31331.diff
Using Webrev
Link to Webrev Comment