Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* JRE_HOME is often used as a convention to convey the path of a JRE; in this case it's convenient to distinguish the JRE from a JDK (when both are required), since the PATH can insert the JRE_HOME/bin or JDK_HOME/bin in a non predictable order. * Thanks to JRE_HOME, subsequent build steps will be able to use JRE_HOME/bin/java to make sure they pick a JRE and not a JDK * in case there's just a JDK desired by the user, JRE_HOME will also be set, as the JDK_HOME
- Loading branch information