diff options
| author | Serhiy Storchaka <storchaka@gmail.com> | 2014-10-02 07:21:43 (GMT) |
|---|---|---|
| committer | Serhiy Storchaka <storchaka@gmail.com> | 2014-10-02 07:21:43 (GMT) |
| commit | 5189ee54cf6fec9f00e0df1ebdeea5cbaef3e18e (patch) | |
| tree | e35eba9fc2e2a06668d60dfb45fe84df4c561bc6 | |
| parent | b83f56f91562547a72abe7faf8a023c7929dc731 (diff) | |
| parent | b8cd8cf8f20da83b4f42c171114a5d797e7a7647 (diff) | |
| download | cpython-5189ee54cf6fec9f00e0df1ebdeea5cbaef3e18e.zip cpython-5189ee54cf6fec9f00e0df1ebdeea5cbaef3e18e.tar.gz cpython-5189ee54cf6fec9f00e0df1ebdeea5cbaef3e18e.tar.bz2 | |
Issue #20076: Apply optimization in makelocalealias.py repeatedly.
Remove just added the sr_rs.utf8@latn alias because it is
derived from sr_rs@latin.
| -rw-r--r-- | Lib/locale.py | 1 | ||||
| -rwxr-xr-x | Tools/i18n/makelocalealias.py | 7 |
2 files changed, 6 insertions, 2 deletions
diff --git a/Lib/locale.py b/Lib/locale.py index 2a39306..67a7980 100644 --- a/Lib/locale.py +++ b/Lib/locale.py @@ -1264,7 +1264,6 @@ locale_alias = { 'sr_cs@latn': 'sr_CS.UTF-8@latin', 'sr_me': 'sr_ME.UTF-8', 'sr_rs': 'sr_RS.UTF-8', - 'sr_rs.utf8@latn': 'sr_RS.UTF-8@latin', 'sr_rs@latn': 'sr_RS.UTF-8@latin', 'sr_sp': 'sr_CS.ISO8859-2', 'sr_yu': 'sr_RS.UTF-8@latin', diff --git a/Tools/i18n/makelocalealias.py b/Tools/i18n/makelocalealias.py index 980465b..25cb337 100755 --- a/Tools/i18n/makelocalealias.py +++ b/Tools/i18n/makelocalealias.py @@ -133,7 +133,12 @@ if __name__ == '__main__': if args.glibc_supported: data.update(parse_glibc_supported(args.glibc_supported)) data.update(parse(args.locale_alias)) - data = optimize(data) + while True: + # Repeat optimization while the size is decreased. + n = len(data) + data = optimize(data) + if len(data) == n: + break print_differences(data, locale.locale_alias) print() print('locale_alias = {') |