# HG changeset patch
# User Doug Simon <doug.simon@oracle.com>
# Date 1380138518 -7200
# Node ID 65dbed1fdf4615e97565fa65e68031b5acc9a75d
# Parent  9c4c197aa6e860308bab4b16b191d21feb39509b
be verbose when the JDK specified by --installed-jdks is missing

diff -r 9c4c197aa6e8 -r 65dbed1fdf46 mx/commands.py
--- a/mx/commands.py	Wed Sep 25 21:25:06 2013 +0200
+++ b/mx/commands.py	Wed Sep 25 21:48:38 2013 +0200
@@ -345,8 +345,8 @@
                 pass
     else:
         if not exists(jdk):
-            if _installed_jdks and mx._opts.verbose:
-                mx.log("Could not find JDK directory at " + jdk)
+            if _installed_jdks:
+                mx.log("The selected JDK directory does not (yet) exist: " + jdk)
             _handle_missing_VM(build, vmToCheck if vmToCheck else 'graal')
 
     if installGraalJar: