# HG changeset patch # User Doug Simon # Date 1440930517 -7200 # Node ID 917b3ad10c322ffa50d207a5017404dd62a1960f # Parent 7b238ae6da755ac60ae72297c3af8c25b4b53202 renamed 'installJars' parameter of get_jvmci_jdk to 'deployDists' diff -r 7b238ae6da75 -r 917b3ad10c32 mx.jvmci/mx_jvmci.py --- a/mx.jvmci/mx_jvmci.py Mon Aug 31 15:09:33 2015 +0200 +++ b/mx.jvmci/mx_jvmci.py Sun Aug 30 12:28:37 2015 +0200 @@ -452,9 +452,12 @@ return mx.abort('You need to run "mx --vm ' + vm + ' --vmbuild ' + bld + ' build" to build the selected VM') -def get_jvmci_jdk(build=None, vmToCheck=None, create=False, installJars=True): +def get_jvmci_jdk(build=None, vmToCheck=None, create=False, deployDists=True): """ - Gets the JDK into which JVMCI is installed, creating it first if necessary. + Gets the path of the JVMCI JDK corresponding to 'build' (or '_vmbuild'), creating it + first if it does not exist and 'create' is True. If the JDK was created or + 'deployDists' is True, then the JDK deployable distributions are deployed into + the JDK. """ if not build: build = _vmbuild @@ -533,7 +536,7 @@ mx.log("The selected JDK directory does not (yet) exist: " + jdk) _handle_missing_VM(build, vmToCheck) - if installJars: + if deployDists: for jdkDist in jdkDeployedDists: dist = jdkDist.dist() if exists(dist.path): @@ -752,7 +755,7 @@ def jdkhome(vm=None): """return the JDK directory selected for the 'vm' command""" - return get_jvmci_jdk(installJars=False) + return get_jvmci_jdk(deployDists=False) def print_jdkhome(args, vm=None): """print the JDK directory selected for the 'vm' command""" @@ -1069,7 +1072,7 @@ mx.abort("conflicting working directories: do not set --vmcwd for this command") build = vmbuild if vmbuild else _vmbuild - jdk = get_jvmci_jdk(build, vmToCheck=vm, installJars=False) + jdk = get_jvmci_jdk(build, vmToCheck=vm, deployDists=False) _updateInstalledJVMCIOptionsFile(jdk) mx.expand_project_in_args(args) if _make_eclipse_launch: