On 2020-03-27 16:37, Jonathan Gibbons wrote:
My reading of the jtreg code is that JT_HOME is only used in the
startup script, and it does not require it to be set; it will figure
it out if needed. It is not required within the Java source code.
I'm thinking to change the script to use JTREG_HOME, JTREG_JAVA
(instead of JT_HOME, JT_JAVA), and that I will default these new names
to the values of the old names, as a backwards compatibility measure.
I also notice some inconsistent variations on the name in comments
that I will also fix.
Does this seem a reasonable approach?
It does indeed.
/Erik
