changeset 15064 | 049338f0fb4e |
parent 14610 | 518349235520 |
child 15173 | b4b4893c6b4d |
--- a/make/jprt.properties Fri Jan 04 22:43:13 2013 +0100 +++ b/make/jprt.properties Fri Jan 04 21:04:03 2013 -0800 @@ -28,6 +28,9 @@ # Locked down to jdk8 jprt.tools.default.release=jdk8 +# Unix toolkit to use for building on windows +jprt.windows.jdk8.build.unix.toolkit=cygwin + # The different build flavors we want, we override here so we just get these 2 jprt.build.flavors=product,fastdebug