--- a/langtools/src/share/classes/com/sun/tools/javac/comp/Check.java Fri Jun 20 11:25:03 2008 +0100
+++ b/langtools/src/share/classes/com/sun/tools/javac/comp/Check.java Wed Jun 25 14:24:53 2008 -0700
@@ -100,9 +100,12 @@
boolean verboseDeprecated = lint.isEnabled(LintCategory.DEPRECATION);
boolean verboseUnchecked = lint.isEnabled(LintCategory.UNCHECKED);
+ boolean enforceMandatoryWarnings = source.enforceMandatoryWarnings();
- deprecationHandler = new MandatoryWarningHandler(log,verboseDeprecated, "deprecated");
- uncheckedHandler = new MandatoryWarningHandler(log, verboseUnchecked, "unchecked");
+ deprecationHandler = new MandatoryWarningHandler(log, verboseDeprecated,
+ enforceMandatoryWarnings, "deprecated");
+ uncheckedHandler = new MandatoryWarningHandler(log, verboseUnchecked,
+ enforceMandatoryWarnings, "unchecked");
}
/** Switch: generics enabled?