From 7bdc76ff1756b5787ed9ca0c7ef1e73c4cd290ab Mon Sep 17 00:00:00 2001 From: "Matthias S. Benkmann" Date: Mon, 19 Feb 2018 22:39:53 +0100 Subject: [PATCH] Make --format sort order deterministic --- check.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/check.py b/check.py index 4c0fdbe..8b9b875 100755 --- a/check.py +++ b/check.py @@ -463,7 +463,7 @@ def main(): out_file.write("\n") out_file.write("# " + platform + "\n") sorted_p_dict = sorted(p_dict.items(), - key=lambda x: x[1].name.lower()) + key=lambda x: (x[1].name+"\x00"+x[0]).lower()) for guid,mapping in sorted_p_dict: out_file.write(mapping.serialize() + "\n")