changeset 2007:d0c45db4bcf3

Temp workaround for JPRT until JDK-8140593 is fixed
author erikj
date Tue, 27 Oct 2015 17:29:03 +0100
parents 975324e7b306
children 471d26171bcf
files make/jprt.properties
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/make/jprt.properties	Wed Oct 21 16:03:16 2015 +0200
+++ b/make/jprt.properties	Tue Oct 27 17:29:03 2015 +0100
@@ -88,6 +88,9 @@
 # Build options (generic)
 #
 
+# TEMP WORKAROUND FOR JAKE until JDK-8140593 is fixed
+jprt.linux.jigsaw.target.attribute.version6.appliesTo.builds=linux_.*2\\.6.*
+
 # Configure args common to all builds
 # Also allows for additional, testset specific configure arguments to be set
 jprt.build.configure.args=						\