diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-10 08:40:00 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-16 07:47:32 +0100 |
commit | 02b0ce3df7869934e25bed469d9d323cc688da47 (patch) | |
tree | 299d50fc8039c7768086f7f481faa755ee2c42e6 | |
parent | spec: Fix Clock Manager parameter descriptions (diff) | |
download | rtems-central-02b0ce3df7869934e25bed469d9d323cc688da47.tar.bz2 |
interface: Make dependency order stable
-rw-r--r-- | rtemsspec/interface.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtemsspec/interface.py b/rtemsspec/interface.py index 738674ff..6ec3aad1 100644 --- a/rtemsspec/interface.py +++ b/rtemsspec/interface.py @@ -734,7 +734,7 @@ class _HeaderFile: # Create a queue with all nodes with no incoming edges queue = [] # type: List[Node] - for node in self._nodes.values(): + for node in sorted(self._nodes.values()): if in_degree[node.item.uid] == 0: queue.append(node) @@ -743,7 +743,7 @@ class _HeaderFile: node = queue.pop(0) nodes_in_dependency_order.insert(0, node) - for other in node.depends_on: + for other in sorted(node.depends_on): in_degree[other.item.uid] -= 1 if in_degree[other.item.uid] == 0: queue.append(other) |