# HG changeset patch # User Doug Simon # Date 1397821231 -7200 # Node ID 5c9185d42a3ad2651d38c2b397ef852e390a2772 # Parent bc21a3b4d6d3510e9094f89361d57b279d4731c0 mx: use server VM to build JMH diff -r bc21a3b4d6d3 -r 5c9185d42a3a mx/mx_graal.py --- a/mx/mx_graal.py Fri Apr 18 13:39:53 2014 +0200 +++ b/mx/mx_graal.py Fri Apr 18 13:40:31 2014 +0200 @@ -1480,8 +1480,8 @@ else: buildOutput.append(x) env = os.environ.copy() - env['JAVA_HOME'] = _jdk(vmToCheck='graal') - env['MAVEN_OPTS'] = '-graal' + env['JAVA_HOME'] = _jdk(vmToCheck='server') + env['MAVEN_OPTS'] = '-server' mx.log("Building benchmarks...") retcode = mx.run(['mvn', 'package'], cwd=jmhPath, out=_redirect, env=env, nonZeroIsFatal=False) if retcode != 0: