| commit | c2e113404640bf9b8bac469d0803ac946e77964f | [log] [tgz] |
|---|---|---|
| author | Behdad Esfahbod <behdad@behdad.org> | Fri Jun 20 17:57:03 2014 -0400 |
| committer | Behdad Esfahbod <behdad@behdad.org> | Fri Jun 20 17:57:03 2014 -0400 |
| tree | 624f7088cfe09bea882767e84dd5e2b948e3df5d | |
| parent | 55abfbd2ac1626af16151298a0837b837d0796df [diff] |
[indic-table] Make output stable
diff --git a/src/gen-indic-table.py b/src/gen-indic-table.py index c1b0d6e..4630a10 100755 --- a/src/gen-indic-table.py +++ b/src/gen-indic-table.py
@@ -195,7 +195,7 @@ 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