diff options
| -rwxr-xr-x | configure.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure.py b/configure.py index 96ba14239..9782ff698 100755 --- a/configure.py +++ b/configure.py @@ -695,9 +695,9 @@ class ModuleInfo(object): self.warning = None def intersect_check(type_a, list_a, type_b, list_b): - intersection = set.intersection(set(list_a), set(list_b)) - if len(intersection) > 0: - logging.error('Headers %s marked both %s and %s' % (' '.join(intersection), type_a, type_b)) + intersection = set.intersection(set(list_a), set(list_b)) + if len(intersection) > 0: + logging.error('Headers %s marked both %s and %s' % (' '.join(intersection), type_a, type_b)) intersect_check('public', self.header_public, 'internal', self.header_internal) intersect_check('public', self.header_public, 'external', self.header_external) |