mirror of
https://github.com/openjdk/jdk.git
synced 2026-08-04 07:05:31 +00:00
Merge branch 'JDK-8353221' into JDK-8352731
This commit is contained in:
commit
8027224568
@ -238,10 +238,6 @@ public class JavaCompiler {
|
||||
*/
|
||||
public Log log;
|
||||
|
||||
/** Whether or not the options lint category was initially disabled
|
||||
*/
|
||||
boolean optionsCheckingInitiallyDisabled;
|
||||
|
||||
/** Factory for creating diagnostic objects
|
||||
*/
|
||||
JCDiagnostic.Factory diagFactory;
|
||||
@ -439,12 +435,6 @@ public class JavaCompiler {
|
||||
moduleFinder.moduleNameFromSourceReader = this::readModuleName;
|
||||
|
||||
options = Options.instance(context);
|
||||
// See if lint options checking was explicitly disabled by the
|
||||
// user; this is distinct from the options check being
|
||||
// enabled/disabled.
|
||||
optionsCheckingInitiallyDisabled =
|
||||
options.isSet(Option.XLINT_CUSTOM, "-options") ||
|
||||
options.isSet(Option.XLINT_CUSTOM, "none");
|
||||
|
||||
verbose = options.isSet(VERBOSE);
|
||||
sourceOutput = options.isSet(PRINTSOURCE); // used to be -s
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user