remove duplicates from conf dirs while preserving order

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
This commit is contained in:
Steven Armstrong 2020-04-10 21:50:39 +02:00
parent 76d978d3d8
commit e19c1bb1e0
1 changed files with 3 additions and 1 deletions

View File

@ -199,7 +199,9 @@ def resolve_conf_dirs(configuration, add_conf_dirs):
if add_conf_dirs:
conf_dirs.extend(add_conf_dirs)
conf_dirs = set(conf_dirs)
# Remove duplicates.
conf_dirs = list(dict.fromkeys(conf_dirs))
return conf_dirs