merge.py: Make result independent of filesystem order

globalwordnet · Nov 5, 2023 · 6da46a4 · 6da46a4
1 parent c6b6c8f
commit 6da46a4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"):