hg: code-tools/jtharness: (build) less relying on default java.home - using configurable jdk.builder.home instead

dmitry.bessonov at oracle.com dmitry.bessonov at oracle.com
Wed Jan 15 21:16:48 UTC 2020

Previous message: hg: code-tools/jtharness: 7902572: (build) allow to explicitly specify JDK to be used for building
Next message: hg: code-tools/jtharness: 7902577: (javadoc) replace <code> with {@code}
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Changeset: 6de8e029d7df
Author:    dbessono
Date:      2020-01-15 21:16 +0000
URL:       https://hg.openjdk.java.net/code-tools/jtharness/rev/6de8e029d7df

(build) less relying on default java.home - using configurable jdk.builder.home instead

! build/build.xml

Previous message: hg: code-tools/jtharness: 7902572: (build) allow to explicitly specify JDK to be used for building
Next message: hg: code-tools/jtharness: 7902577: (javadoc) replace <code> with {@code}
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the jtharness-dev mailing list