Mercurial > hg > graal-compiler
changeset 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 | 15ae4fd89a75 |
children | 5f8299106dd9 |
files | mx/commands.py |
diffstat | 1 files changed, 2 insertions(+), 2 deletions(-) [+] |
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):