diff options
author | lana <none@none> | 2013-01-20 23:35:25 -0800 |
---|---|---|
committer | lana <none@none> | 2013-01-20 23:35:25 -0800 |
commit | f270efccfc106cb17bda0ed10c3165da90dc551b (patch) | |
tree | 02ad8857dcd9a12f24577a0b7d1cb9ac5f6b1a5b /make | |
parent | a1d83cf9875ed9d974a44a751108a0aac1ceee4f (diff) | |
parent | 027e55d5369ef4ced4cadd0b9f3787995bf3d9bb (diff) |
Merge
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 |