aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSimon Warta <[email protected]>2017-01-09 23:03:46 +0100
committerSimon Warta <[email protected]>2017-01-11 12:30:52 +0100
commitf622eb7e68ace88ac76a0e3b394da06225ca49d7 (patch)
tree23478ca560ee9c1487c36702cd48d39e7c84b0ae
parent1e7a48df927b1a16a6fc7ad6b3fe5c6b697377f0 (diff)
Resolve lint issues: bad-indentation
-rwxr-xr-xconfigure.py6
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)