# HG changeset patch
# User darcy
# Date 1403141259 25200
# Node ID 82fa3e8aabee0f87f3fcc40030495065df93bee5
# Parent  e2bf17cee34bc128c006491903471c59e51e5805
8044715: Add finally lint warning to build of jdk repository
Reviewed-by: henryjen, tbell

diff -r e2bf17cee34b -r 82fa3e8aabee jdk/make/Setup.gmk
--- a/jdk/make/Setup.gmk	Wed Jun 18 13:14:15 2014 -0700
+++ b/jdk/make/Setup.gmk	Wed Jun 18 18:27:39 2014 -0700
@@ -27,7 +27,7 @@
 
 # To build with all warnings enabled, do the following:
 # make JAVAC_WARNINGS="-Xlint:all -Xmaxwarns 10000"
-JAVAC_WARNINGS := -Xlint:-unchecked,-deprecation,-overrides,auxiliaryclass,cast,classfile,dep-ann,divzero,empty,fallthrough,overloads,serial,static,try,varargs -Werror
+JAVAC_WARNINGS := -Xlint:-unchecked,-deprecation,-overrides,auxiliaryclass,cast,classfile,dep-ann,divzero,empty,fallthrough,finally,overloads,serial,static,try,varargs -Werror
 
 # Any java code executed during a JDK build to build other parts of the JDK must be 
 # executed by the bootstrap JDK (probably with -Xbootclasspath/p: ) and for this