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)