diff options
| author | Jack Lloyd <[email protected]> | 2017-01-12 20:30:35 -0500 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2017-01-12 20:30:35 -0500 |
| commit | f7bf9ee4adbbd3f043c32265c2234597e15e8803 (patch) | |
| tree | 47ef8b47fc8fa2807dd31af7ac34328a34b845c6 /configure.py | |
| parent | fd4e98590203b07314e6469eebc6deea00960851 (diff) | |
configure: Remove duplicates from generated module list
I ran into this after PKCS11 was enabled by default, as my local
build script uses --enable-modules=pkcs11,... this ended up causing
the module to be loaded twice! The result was duplicate entries in
the Makefile.
Would be good for configure to be written more defensively, the
result of this error being a bogus Makefile is lame.
Diffstat (limited to 'configure.py')
| -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 |