From f4ab4c11e91f938bd04883b5c12bb6a47c63a45d Mon Sep 17 00:00:00 2001
From: ohair <none@none>
Date: Fri, 4 Jan 2013 21:04:03 -0800
Subject: 8004229: build-infra: Umbrella for switch of default "make" to new
 makefiles Reviewed-by: erikj, tbell

---
 make/jprt.properties | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'make')

diff --git a/make/jprt.properties b/make/jprt.properties
index 603ce5f..990c442 100644
--- a/make/jprt.properties
+++ b/make/jprt.properties
@@ -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
 
-- 
cgit v1.2.3