# HG changeset patch # User Doug Simon # Date 1377933522 -7200 # Node ID 94779c895aadc825035dd85375bd1097a0330c7e # Parent a4163e660a1b1cf6f4a34a660a9d2c26ac7035a0 fixed documentation of --installed-jdks mx option diff -r a4163e660a1b -r 94779c895aad mx/commands.py --- a/mx/commands.py Sat Aug 31 09:18:26 2013 +0200 +++ b/mx/commands.py Sat Aug 31 09:18:42 2013 +0200 @@ -286,7 +286,7 @@ with VM(vm, bld): build([]) return - mx.abort('You need to run "mx --vm ' + vm + '--vmbuild ' + bld + ' build" to build the selected VM') + mx.abort('You need to run "mx --vm ' + vm + ' --vmbuild ' + bld + ' build" to build the selected VM') def _jdk(build='product', vmToCheck=None, create=False, installGraalJar=True): """ @@ -1358,7 +1358,7 @@ mx.add_argument('--vmcwd', dest='vm_cwd', help='current directory will be changed to before the VM is executed', default=None, metavar='') mx.add_argument('--installed-jdks', help='the base directory in which the JDKs cloned from $JAVA_HOME exist. ' + 'The VM selected by --vm and --vmbuild options is under this directory (i.e., ' + - join('', '', 'jre', 'lib', '', mx.add_lib_prefix(mx.add_lib_suffix('jvm'))) + ')', default=None, metavar='') + join('', '', '', 'jre', 'lib', '', mx.add_lib_prefix(mx.add_lib_suffix('jvm'))) + ')', default=None, metavar='') if (_vmSourcesAvailable): mx.add_argument('--vm', action='store', dest='vm', choices=_vmChoices.keys(), help='the VM type to build/run')