On 27/06/14 12:05, Andrew Haley wrote: > On 06/27/2014 09:38 AM, Andrew Dinn wrote: >>> 4. Fail if $JAVA_HOME is set >> Hmm, I guess this is needed. > > No, because some build scripts require JAVA_HOME to be set. Oops, I read that the wrong way round (Fail if $JAVA_HOME is not set). regards, Andrew Dinn -----------