Mon, 18 Aug 2014 11:16:24 -0700
8055243: Make jdk8u40 the default release
Reviewed-by: tbell, collins
make/jprt.properties | file | annotate | diff | comparison | revisions |
1.1 --- a/make/jprt.properties Thu Jul 31 11:14:26 2014 -0700 1.2 +++ b/make/jprt.properties Mon Aug 18 11:16:24 2014 -0700 1.3 @@ -29,7 +29,7 @@ 1.4 # 1.5 1.6 # The current release name 1.7 -my.jdk.update.version=20 1.8 +my.jdk.update.version=40 1.9 jprt.tools.default.release=jdk8u${my.jdk.update.version} 1.10 1.11 # Check if this is the equivalent of a hotspot push job