diff options
author | ohair <none@none> | 2013-01-04 21:04:03 -0800 |
---|---|---|
committer | ohair <none@none> | 2013-01-04 21:04:03 -0800 |
commit | f4ab4c11e91f938bd04883b5c12bb6a47c63a45d (patch) | |
tree | 3ee388ad4d931eaf7710e1f583c2a6afbf14aa34 /make | |
parent | dfaf53b7de04af29e7489113f6c4133bcfe02b47 (diff) |
8004229: build-infra: Umbrella for switch of default "make" to new makefiles
Reviewed-by: erikj, tbell
Diffstat (limited to 'make')
-rw-r--r-- | make/jprt.properties | 3 |
1 files changed, 3 insertions, 0 deletions
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 |