From 6da46a48dd76a48ad9ff563e6c807b8271fc83cd Mon Sep 17 00:00:00 2001 From: nicoo Date: Sat, 28 Oct 2023 23:46:05 +0000 Subject: [PATCH] merge.py: Make result independent of filesystem order --- scripts/merge.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/merge.py b/scripts/merge.py index 8fadd2ee..3f1a16ab 100644 --- a/scripts/merge.py +++ b/scripts/merge.py @@ -77,7 +77,7 @@ def wn_merge(): ET.register_namespace("dc", "https://globalwordnet.github.io/schemas/dc/") - for wn_part in glob("src/xml/wn-*.xml"): + for wn_part in sorted(glob("src/xml/wn-*.xml")): tree = ET.parse(wn_part).getroot() for element in tree[0]: if(element.tag == "LexicalEntry"):