This is a minor change to the make/jprt.properties and hotspot/make/jprt.properties files.
Bug report: https://bugs.openjdk.java.net/browse/JDK-8046474 Webrev: http://cr.openjdk.java.net/~tbell/8046474/ Thank you- Tim
This is a minor change to the make/jprt.properties and hotspot/make/jprt.properties files.
Bug report: https://bugs.openjdk.java.net/browse/JDK-8046474 Webrev: http://cr.openjdk.java.net/~tbell/8046474/ Thank you- Tim