# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1397122099 -7200
# Node ID d971a997789251f2bfd95c3fcf04ca13f4092af8
# Parent  3090f1254aa33f0c7b9233857279970503e36ee9
use -graal for running Maven since it has to be built anyway if micros-graal is included

diff -r 3090f1254aa3 -r d971a9977892 mx/mx_graal.py
--- a/mx/mx_graal.py	Thu Apr 10 09:15:36 2014 +0200
+++ b/mx/mx_graal.py	Thu Apr 10 11:28:19 2014 +0200
@@ -1381,8 +1381,8 @@
 
 
     env = os.environ.copy()
-    env['JAVA_HOME'] = _jdk(vmToCheck='server')
-    env['MAVEN_OPTS'] = '-server'
+    env['JAVA_HOME'] = _jdk(vmToCheck='graal')
+    env['MAVEN_OPTS'] = '-graal'
     mx.log("Building benchmarks...")
     mx.run(['mvn', 'package'], cwd=jmhPath, out=_blackhole, env=env)