Remove useless merge_sets()

Change-Id: Ic4c18d080602fffc75fe43728a21446e0f2daeb4
This commit is contained in:
Julien Danjou 2017-03-15 14:11:14 +01:00
parent 08be40a220
commit 8269984ee5
1 changed files with 1 additions and 8 deletions

View File

@ -64,13 +64,6 @@ def split_set_type(text, delimiter=","):
return set([i.strip() for i in text.split(delimiter) if i.strip()])
def merge_sets(sets):
m = set()
for s in sets:
m.update(s)
return m
def parse_ignore_path_errors(entries):
ignore_path_errors = collections.defaultdict(set)
for path in entries:
@ -333,7 +326,7 @@ def main():
if args.get('version'):
print(version.version_string())
return 0
args['ignore'] = merge_sets(args['ignore'])
args['ignore'] = set(args['ignore'])
cfg = extract_config(args)
args['ignore'].update(cfg.pop("ignore", set()))
if 'sphinx' in cfg: