make/jprt.properties

changeset 1489
a9337b6024da
parent 1317
13af778d07bb
child 1859
8b0588603185
     1.1 --- a/make/jprt.properties	Wed Jul 08 14:05:49 2015 +0100
     1.2 +++ b/make/jprt.properties	Mon Jul 13 15:51:31 2015 -0700
     1.3 @@ -29,8 +29,8 @@
     1.4  #
     1.5  
     1.6  # The current release name
     1.7 -my.jdk.update.version=60
     1.8 -jprt.tools.default.release=jdk8u${my.jdk.update.version}
     1.9 +my.jdk.update.version=66
    1.10 +jprt.tools.default.release=jdk8u60
    1.11  
    1.12  # Check if this is the equivalent of a hotspot push job
    1.13  # Interpret -testset hotspot to mean exactly that

mercurial