make/jprt.properties
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