On 4/13/2012 7:37 AM, Jonathan Gibbons wrote: > TESTTOOLVMOPTS is equivalent to TESTVMOPTS for tools -- i.e. each > option is prefixed with -J Great to know! I'll fix the tests to use it. Mandy