Mercurial > hg > graal-jvmci-8
changeset 22173:1a7f71d13b6e
avoid duplicate declarations of JVMCI service providers
author | Doug Simon <doug.simon@oracle.com> |
---|---|
date | Sat, 18 Jul 2015 11:25:01 +0200 |
parents | c3331cd13f06 |
children | a7b17cb2ce37 |
files | mx.jvmci/mx_jvmci.py |
diffstat | 1 files changed, 1 insertions(+), 1 deletions(-) [+] |
line wrap: on
line diff
--- a/mx.jvmci/mx_jvmci.py Sat Jul 18 11:15:54 2015 +0200 +++ b/mx.jvmci/mx_jvmci.py Sat Jul 18 11:25:01 2015 +0200 @@ -545,7 +545,7 @@ providers = jvmciServices.setdefault(service, []) for line in serviceFile.readlines(): line = line.strip() - if line: + if line and line not in providers: providers.append(line) elif member.startswith('META-INF/jvmci.options/') and member != 'META-INF/jvmci.options/': filename = basename(member)