make/jprt.properties

changeset 3981
d5ec46c7da5c
parent 3878
f7baf26515fc
child 3984
3958f0acde31
     1.1 --- a/make/jprt.properties	Fri Aug 10 23:19:43 2012 -0700
     1.2 +++ b/make/jprt.properties	Wed Aug 15 16:49:38 2012 -0700
     1.3 @@ -38,7 +38,7 @@
     1.4  
     1.5  # This tells jprt what default release we want to build
     1.6  
     1.7 -jprt.hotspot.default.release=jdk7
     1.8 +jprt.hotspot.default.release=jdk8
     1.9  
    1.10  jprt.tools.default.release=${jprt.submit.option.release?${jprt.submit.option.release}:${jprt.hotspot.default.release}}
    1.11  

mercurial