27 # |
27 # |
28 # Global settings |
28 # Global settings |
29 # |
29 # |
30 |
30 |
31 # The current release name |
31 # The current release name |
32 my.jdk.update.version=40 |
32 my.jdk.update.version=60 |
33 jprt.tools.default.release=jdk8u${my.jdk.update.version} |
33 jprt.tools.default.release=jdk8u${my.jdk.update.version} |
34 |
34 |
35 # Check if this is the equivalent of a hotspot push job |
35 # Check if this is the equivalent of a hotspot push job |
36 # Interpret -testset hotspot to mean exactly that |
36 # Interpret -testset hotspot to mean exactly that |
37 my.is.hotspot.job.hotspot=true |
37 my.is.hotspot.job.hotspot=true |