diff options
| author | Tomas Janousek <tomi@nomi.cz> | 2019-05-12 18:14:58 +0200 |
|---|---|---|
| committer | Tomas Janousek <tomi@nomi.cz> | 2019-05-12 18:49:20 +0200 |
| commit | fb6fd80bd2317b622387abebf6dd39f50aaa73c4 (patch) | |
| tree | 95f73550ead025df8e1634d7e890649f9c54c0e3 | |
| parent | a223253f35be35b31a6103805a9ed197cd13cdb5 (diff) | |
| download | ale-fb6fd80bd2317b622387abebf6dd39f50aaa73c4.zip | |
Force sort locale in check-supported-tools-tables
Otherwise it reports that the list isn't sorted properly if user's LANG
is different.
| -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=$? |