< prev index next >

./make/jprt.properties

Print this page
rev 1295 : 8075158: Make jdk8u60 the default release on jdk8u repos
Reviewed-by: mikael

*** 27,37 **** # # Global settings # # The current release name ! 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 # Interpret -testset hotspot to mean exactly that my.is.hotspot.job.hotspot=true --- 27,37 ---- # # Global settings # # The current release name ! my.jdk.update.version=60 jprt.tools.default.release=jdk8u${my.jdk.update.version} # Check if this is the equivalent of a hotspot push job # Interpret -testset hotspot to mean exactly that my.is.hotspot.job.hotspot=true
< prev index next >