From c2e113404640bf9b8bac469d0803ac946e77964f Mon Sep 17 00:00:00 2001 From: Behdad Esfahbod Date: Fri, 20 Jun 2014 17:57:03 -0400 Subject: [PATCH] [indic-table] Make output stable --- src/gen-indic-table.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/gen-indic-table.py b/src/gen-indic-table.py index c1b0d6e43..4630a1034 100755 --- a/src/gen-indic-table.py +++ b/src/gen-indic-table.py @@ -195,7 +195,7 @@ print "{" print " switch (u >> 12)" print " {" pages = set([u>>12 for u in starts+ends+singles.keys()]) -for p in pages: +for p in sorted(pages): print " case 0x%0X:" % p for (start,end) in zip (starts, ends): if p not in [start>>12, end>>12]: continue