make/jprt.properties

changeset 570
5cf7750c8c43
parent 528
ab1ab9b148dd
child 595
8209c91b751d
     1.1 --- a/make/jprt.properties	Fri Jan 04 22:43:13 2013 +0100
     1.2 +++ b/make/jprt.properties	Fri Jan 04 21:04:03 2013 -0800
     1.3 @@ -28,6 +28,9 @@
     1.4  # Locked down to jdk8
     1.5  jprt.tools.default.release=jdk8
     1.6  
     1.7 +# Unix toolkit to use for building on windows
     1.8 +jprt.windows.jdk8.build.unix.toolkit=cygwin
     1.9 +
    1.10  # The different build flavors we want, we override here so we just get these 2
    1.11  jprt.build.flavors=product,fastdebug
    1.12  

mercurial