Merge pull request #982 from nbraud/reproducibility

merge.py: Make result independent of filesystem order
globalwordnet · Nov 6, 2023 · f2528e2 · f2528e2
2 parents c6b6c8f + 6da46a4
commit f2528e2
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"):