make/jprt.properties

changeset 1129
09eaef69f384
parent 913
9937f406e27e
child 1133
50aaf272884f
child 1174
6cb876613230
     1.1 --- a/make/jprt.properties	Mon Aug 25 13:35:06 2014 -0700
     1.2 +++ b/make/jprt.properties	Wed Aug 27 09:46:47 2014 -0700
     1.3 @@ -25,8 +25,9 @@
     1.4  
     1.5  # Properties for jprt
     1.6  
     1.7 -# Locked down to jdk8
     1.8 -jprt.tools.default.release=jdk8
     1.9 +# The current release name
    1.10 +my.jdk.update.version=25
    1.11 +jprt.tools.default.release=jdk8u${my.jdk.update.version}
    1.12  
    1.13  # Unix toolkit to use for building on windows
    1.14  jprt.windows.jdk8.build.unix.toolkit=cygwin

mercurial