# HG changeset patch
# User amurillo
# Date 1345074578 25200
# Node ID d5ec46c7da5c4e691543d44b66076637af0cb0e2
# Parent  6898d85cf0bbc3ea702ff3131de715d24cb1ccf3
7191765: make jdk8 the default jprt release for hs24
Reviewed-by: jcoomes

diff -r 6898d85cf0bb -r d5ec46c7da5c make/jprt.properties
--- a/make/jprt.properties	Fri Aug 10 23:19:43 2012 -0700
+++ b/make/jprt.properties	Wed Aug 15 16:49:38 2012 -0700
@@ -38,7 +38,7 @@
 
 # This tells jprt what default release we want to build
 
-jprt.hotspot.default.release=jdk7
+jprt.hotspot.default.release=jdk8
 
 jprt.tools.default.release=${jprt.submit.option.release?${jprt.submit.option.release}:${jprt.hotspot.default.release}}