make/jprt.properties

changeset 1317
13af778d07bb
parent 1191
faa174d8bd68
child 1482
8fb429038513
child 1489
a9337b6024da
equal deleted inserted replaced
1311:96c07650596d 1317:13af778d07bb
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

mercurial