make/jprt.properties
changeset 22032 4a7fd867c53c
parent 22031 ae288cbb4c28
child 24804 cc1430d4501f
equal deleted inserted replaced
22031:ae288cbb4c28 22032:4a7fd867c53c
    24 #
    24 #
    25 
    25 
    26 # Properties for jprt
    26 # Properties for jprt
    27 
    27 
    28 # Locked down to jdk8
    28 # Locked down to jdk8
    29 jprt.tools.default.release=jdk8
    29 jprt.tools.default.release=jdk9
    30 
    30 
    31 # Unix toolkit to use for building on windows
    31 # Unix toolkit to use for building on windows
    32 jprt.windows.jdk8.build.unix.toolkit=cygwin
    32 jprt.windows.jdk8.build.unix.toolkit=cygwin
    33 
    33 
    34 # The different build flavors we want, we override here so we just get these 2
    34 # The different build flavors we want, we override here so we just get these 2