make/jprt.properties

changeset 1489
a9337b6024da
parent 1317
13af778d07bb
child 1859
8b0588603185
equal deleted inserted replaced
1485:12e934850287 1489:a9337b6024da
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=60 32 my.jdk.update.version=66
33 jprt.tools.default.release=jdk8u${my.jdk.update.version} 33 jprt.tools.default.release=jdk8u60
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
38 my.is.hotspot.job=${my.is.hotspot.job.${jprt.test.set}} 38 my.is.hotspot.job=${my.is.hotspot.job.${jprt.test.set}}

mercurial