hg: jdk9/sandbox: Make JPRT set JPRT job ID as OPT string.

magnus.ihse.bursie at oracle.com magnus.ihse.bursie at oracle.com
Wed Feb 25 22:34:31 UTC 2015

Previous message: hg: jdk9/sandbox/jdk: 8073893: Enable charsets build system to configure euc_tw into java.base module/sun.nio.cs
Next message: hg: jdk9/sandbox/langtools: 8041628: Javadoc cross-compilation problem
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Changeset: 39d4f105a2c8
Author:    ihse
Date:      2015-02-25 23:36 +0100
URL:       http://hg.openjdk.java.net/jdk9/sandbox/rev/39d4f105a2c8

Make JPRT set JPRT job ID as OPT string.

! make/jprt.properties

Previous message: hg: jdk9/sandbox/jdk: 8073893: Enable charsets build system to configure euc_tw into java.base module/sun.nio.cs
Next message: hg: jdk9/sandbox/langtools: 8041628: Javadoc cross-compilation problem
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the jdk9-sandbox-changes mailing list