diff options
author | Chris Johns <chrisj@rtems.org> | 2017-01-13 15:23:03 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2017-01-13 15:23:03 +1100 |
commit | c506b01774cadedd73c55f0dbaa05c749105018f (patch) | |
tree | 3769b607739460c50f7bd2d74d51bdf1d5e23915 | |
parent | 86b3df2775756546e4d880565f82df6e2f97606a (diff) |
A set is unordered so a sorted list is unique.
-rw-r--r-- | docs.rtems.org/configuration.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs.rtems.org/configuration.py b/docs.rtems.org/configuration.py index 332a021..66bb6c0 100644 --- a/docs.rtems.org/configuration.py +++ b/docs.rtems.org/configuration.py @@ -75,9 +75,9 @@ class configuration: items = self._get_item(section, label, error) if items is None: return [] - items = list(set([a.strip() for a in items.split(',')])) + items = [a.strip() for a in items.split(',')] if sort: - return sorted(items) + return sorted(set(items)) else: return items |