diff options
| author | Simon Warta <[email protected]> | 2017-04-05 17:00:09 +0200 |
|---|---|---|
| committer | Simon Warta <[email protected]> | 2017-04-07 09:10:13 +0200 |
| commit | 099f6fb16b6ca4b342805aa79f7bee251bad5a12 (patch) | |
| tree | ebfe0ee16817f9d567b68c7eba9768c4d3b6d2f1 /configure.py | |
| parent | ab96a160f6707016636e11f3ae791f09375faedc (diff) | |
Simplify disabled_mods assignment
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 080b2664d..b57009d99 100755 --- a/configure.py +++ b/configure.py @@ -2072,8 +2072,7 @@ def choose_modules_to_use(modules, module_policy, archinfo, ccinfo, options): def display_module_information_unused(skipped_modules): for reason in sorted(skipped_modules.keys()): - disabled_mods = sorted(set([mod for mod in skipped_modules[reason]])) - + disabled_mods = sorted(skipped_modules[reason]) if disabled_mods: logging.info('Skipping (%s): %s' % (reason, ' '.join(disabled_mods))) |