# HG changeset patch # User Josef Eisl # Date 1440751106 -7200 # Node ID ae41a292cef1d45d3af467c917922178523ab6ba # Parent 802ed515704a58430632c3fc69d6c8094094a3b7 mx microbench: quote forked vmArgs with spaces. diff -r 802ed515704a -r ae41a292cef1 mx.graal/mx_graal.py --- a/mx.graal/mx_graal.py Fri Aug 28 10:37:01 2015 +0200 +++ b/mx.graal/mx_graal.py Fri Aug 28 10:38:26 2015 +0200 @@ -175,6 +175,12 @@ args += ['org.openjdk.jmh.Main'] if forking: (_, _, jvm, forkedVmArgs, _) = parseVmArgs(vmArgs) + def quoteSpace(s): + if " " in s: + return '"' + s + '"' + return s + + forkedVmArgs = map(quoteSpace, forkedVmArgs) args += ['--jvmArgsPrepend', ' '.join(['-' + jvm] + forkedVmArgs)] vm(args + jmhArgs)