git: openjdk/jdk: master: 8352612: No way to add back lint categories after "none"

Archie Cobbs acobbs at openjdk.org
Mon May 5 20:42:49 UTC 2025


Changeset: ca7e4c4e
Branch: master
Author:    Archie Cobbs <acobbs at openjdk.org>
Date:      2025-05-05 20:40:45 +0000
URL:       https://git.openjdk.org/jdk/commit/ca7e4c4e055cf164b1b3707b7cf1ea72b1de77b9

8352612: No way to add back lint categories after "none"

Reviewed-by: mcimadamore

! src/jdk.compiler/share/classes/com/sun/tools/javac/main/Option.java
! src/jdk.compiler/share/classes/com/sun/tools/javac/resources/javac.properties
! src/jdk.compiler/share/classes/com/sun/tools/javac/util/Log.java
! src/jdk.compiler/share/man/javac.md
! test/langtools/tools/javac/lint/NoWarn.java
! test/langtools/tools/javac/lint/NoWarn1.out
! test/langtools/tools/javac/lint/NoWarn2.out
+ test/langtools/tools/javac/lint/NoWarn3.out
+ test/langtools/tools/javac/lint/NoWarn4.out
! test/langtools/tools/javac/varargs/Warn1.java
! test/langtools/tools/javac/varargs/Warn2.java



More information about the jdk-changes mailing list