diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2019-05-13 09:11:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-13 09:11:55 +0100 |
| commit | bf17bbf898da6763e305a3e92f041532221719b0 (patch) | |
| tree | 7e1137caf876d9f8ced26592b1e755c4ce65bb92 | |
| parent | aa047b5ba3f3e16d18c54a0afb94642dc7568f78 (diff) | |
| parent | fb6fd80bd2317b622387abebf6dd39f50aaa73c4 (diff) | |
| download | ale-bf17bbf898da6763e305a3e92f041532221719b0.zip | |
Merge pull request #2496 from liskin/sort-locale
Force sort locale in check-supported-tools-tables
| -rwxr-xr-x | test/script/check-supported-tools-tables | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index beb580d7..65270029 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -42,7 +42,7 @@ done < <( exit_code=0 # Sort the tools ignoring case, and complain when things are out of order. -sort -f -k1,2 "$doc_file" -o "$doc_sorted_file" +LC_ALL=en_US.UTF-8 sort -f -k1,2 "$doc_file" -o "$doc_sorted_file" diff -U0 "$doc_sorted_file" "$doc_file" || exit_code=$? |