make/jprt.properties

changeset 570
5cf7750c8c43
parent 528
ab1ab9b148dd
child 595
8209c91b751d
equal deleted inserted replaced
569:2597feac57c0 570:5cf7750c8c43
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

mercurial