8055243: Make jdk8u40 the default release

Mon, 18 Aug 2014 11:16:24 -0700

author
mikael
date
Mon, 18 Aug 2014 11:16:24 -0700
changeset 1159
1f2473d3c38e
parent 1155
c7b4d867b82d
child 1160
0e9e0c953952

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

mercurial