diff mx/commands.py @ 8646:1b090d7f832d

Allow building using a jdk that does not contain man
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 05 Apr 2013 14:24:02 +0200
parents ac49da6eeed6
children 5f8299106dd9
line wrap: on
line diff
--- 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):