# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1342788017 -7200
# Node ID d84a26dc32f5cbbf36d627ccda6c744c826b2326
# Parent  246d2783401754abe016967fd1f9996dc47f87ad
Make 'db' directory from JDK optional since it does not exists in all OpenJDK-based JDKs (cf. Icedtea)

diff -r 246d27834017 -r d84a26dc32f5 mx/commands.py
--- a/mx/commands.py	Fri Jul 20 14:38:23 2012 +0200
+++ b/mx/commands.py	Fri Jul 20 14:40:17 2012 +0200
@@ -308,7 +308,9 @@
     Get the JDK into which Graal is installed, creating it first if necessary.
     """
     jdk = join(_graal_home, 'jdk' + mx.java().version, build)
-    jdkContents = ['bin', 'db', 'include', 'jre', 'lib']
+    jdkContents = ['bin', 'include', 'jre', 'lib']
+    if (exists(join(jdk, 'db'))):
+        jdkContents.append('db')
     if mx.get_os() != 'windows':
         jdkContents.append('man')
     if create: