make/jprt.properties
changeset 15064 049338f0fb4e
parent 14610 518349235520
child 15173 b4b4893c6b4d
equal deleted inserted replaced
15063:16aa1979a584 15064:049338f0fb4e
    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=jdk8
       
    30 
       
    31 # Unix toolkit to use for building on windows
       
    32 jprt.windows.jdk8.build.unix.toolkit=cygwin
    30 
    33 
    31 # 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
    32 jprt.build.flavors=product,fastdebug
    35 jprt.build.flavors=product,fastdebug
    33 
    36 
    34 # Standard list of jprt build targets for this source tree
    37 # Standard list of jprt build targets for this source tree