# HG changeset patch # User Gilles Duboscq # Date 1377173954 -7200 # Node ID a8e618fd8868ca7a945422c8326b121b766c8125 # Parent 40c7cbe31aa9feb550561bce35ba8c848cb06550 In verbose mode, if vmdir is set, output the directory where we are looking for the built jdk diff -r 40c7cbe31aa9 -r a8e618fd8868 mx/commands.py --- a/mx/commands.py Thu Aug 22 14:06:25 2013 +0200 +++ b/mx/commands.py Thu Aug 22 14:19:14 2013 +0200 @@ -344,6 +344,8 @@ pass else: if not exists(jdk): + if _vmdir and mx._opts.verbose: + mx.log("Cound not find jdk dir at " + jdk) _handle_missing_VM(build, vmToCheck if vmToCheck else 'graal') if installGraalJar: