diff options
author | Simon Warta <[email protected]> | 2017-04-25 23:45:06 +0200 |
---|---|---|
committer | Simon Warta <[email protected]> | 2017-04-25 23:58:51 +0200 |
commit | 4296b53269541849944767263eca1c9a6e34f675 (patch) | |
tree | ed4f275d364f13403839cbbeb659d35a79fe0cc2 /configure.py | |
parent | dd92a393e53dedeb1a41712697f7135d32196c4a (diff) |
Simplify list emptyness check
Diffstat (limited to 'configure.py')
-rwxr-xr-x | configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 1f957a47c..f0145d41b 100755 --- a/configure.py +++ b/configure.py @@ -750,7 +750,7 @@ class ModuleInfo(InfoObject): # Check for duplicates def intersect_check(type_a, list_a, type_b, list_b): intersection = set.intersection(set(list_a), set(list_b)) - if len(intersection) > 0: + if intersection: 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) |