summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-10 08:40:00 +0100
committerSebastian Huber <sebastian.huber@embedded-brains.de>2021-12-16 07:47:32 +0100
commit02b0ce3df7869934e25bed469d9d323cc688da47 (patch)
tree299d50fc8039c7768086f7f481faa755ee2c42e6
parentspec: Fix Clock Manager parameter descriptions (diff)
downloadrtems-central-02b0ce3df7869934e25bed469d9d323cc688da47.tar.bz2
interface: Make dependency order stable
-rw-r--r--rtemsspec/interface.py4
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)