changeset 1111:1f2473d3c38e

8055243: Make jdk8u40 the default release Reviewed-by: tbell, collins
author mikael
date Mon, 18 Aug 2014 11:16:24 -0700
parents c7b4d867b82d
children 0e9e0c953952
files make/jprt.properties
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/make/jprt.properties	Thu Jul 31 11:14:26 2014 -0700
+++ b/make/jprt.properties	Mon Aug 18 11:16:24 2014 -0700
@@ -29,7 +29,7 @@
 #
 
 # The current release name
-my.jdk.update.version=20
+my.jdk.update.version=40
 jprt.tools.default.release=jdk8u${my.jdk.update.version}
 
 # Check if this is the equivalent of a hotspot push job