# HG changeset patch
# User Gilles Duboscq <duboscq@ssw.jku.at>
# Date 1365164642 -7200
# Node ID 1b090d7f832d3aed393e82b9cb493208e608d1b9
# Parent  15ae4fd89a7567be70efc084ff9c77b3f5c06bc4
Allow building using a jdk that does not contain man

diff -r 15ae4fd89a75 -r 1b090d7f832d mx/commands.py
--- a/mx/commands.py	Fri Apr 05 11:56:21 2013 +0200
+++ b/mx/commands.py	Fri Apr 05 14:24:02 2013 +0200
@@ -297,9 +297,9 @@
     """
     jdk = join(_graal_home, 'jdk' + str(mx.java().version), build)
     jdkContents = ['bin', 'include', 'jre', 'lib']
-    if (exists(join(jdk, 'db'))):
+    if exists(join(jdk, 'db')):
         jdkContents.append('db')
-    if mx.get_os() != 'windows':
+    if mx.get_os() != 'windows' and exists(join(jdk, 'man')):
         jdkContents.append('man')
     if create:
         if not exists(jdk):