diff options
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/configure.py b/configure.py index 35f9f7224..523a4ce58 100755 --- a/configure.py +++ b/configure.py @@ -1807,7 +1807,8 @@ def choose_modules_to_use(modules, module_policy, archinfo, ccinfo, options): if modules[mod].warning: logging.warning('%s: %s' % (mod, modules[mod].warning)) - to_load.sort() + # force through set to dedup if required + to_load = sorted(list(set(to_load))) logging.info('Loading modules %s', ' '.join(to_load)) return to_load |