diff options
author | Peter Eisentraut | 2023-09-18 05:25:46 +0000 |
---|---|---|
committer | Peter Eisentraut | 2023-09-18 05:25:46 +0000 |
commit | 5c08927d365bf20c74fc141d75538ca7e44d303f (patch) | |
tree | cef9179c2a9fb0c9ede8bb9d7e6475171283e4ad | |
parent | e0e492e5a928e9c9eda01eeebadcfc36f9f8e7b7 (diff) |
Make Unicode script fit for future versions
Between Unicode 15.0.0 and 15.1.0, the whitespace in
EastAsianWidth.txt has changed a bit, such as from
0020;Na # Zs SPACE
to
0020 ; Na # Zs SPACE
with space around the semicolon. Adjust the script to be able to
parse that.
-rw-r--r-- | src/common/unicode/generate-unicode_east_asian_fw_table.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/unicode/generate-unicode_east_asian_fw_table.pl b/src/common/unicode/generate-unicode_east_asian_fw_table.pl index 2b2df375ed..125bd396a0 100644 --- a/src/common/unicode/generate-unicode_east_asian_fw_table.pl +++ b/src/common/unicode/generate-unicode_east_asian_fw_table.pl @@ -23,7 +23,7 @@ foreach my $line (<ARGV>) chomp $line; $line =~ s/\s*#.*$//; next if $line eq ''; - my ($codepoint, $width) = split ';', $line; + my ($codepoint, $width) = split /\s*;\s*/, $line; if ($codepoint =~ /\.\./) { |