diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-09-07 12:13:04 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2020-09-07 12:25:42 -0400 |
| commit | 9374737005c9fa36a870111f100fe27f9a0efd8e (patch) | |
| tree | 0c3df51494416760c9b9080867f79fb0dfed3092 | |
| parent | c10ff55fddf8c6708d679e91f3253dc642b91565 (diff) | |
| download | haskell-wip/locale-fixes.tar.gz | |
gitlab-ci: Accept Centos 7 C.utf8 localewip/locale-fixes
Centos apparently has C.utf8 rather than C.UTF-8.
(cherry picked from commit d9f85dd25a26a04d3485470afb3395ee2dec6464)
| -rwxr-xr-x | .gitlab/ci.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index a35a104873..6f314089a3 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -76,6 +76,9 @@ function setup_locale() { elif locale -a | grep -q en_US.UTF-8; then # Centos doesn't have C.UTF-8 export LANG=en_US.UTF-8 + elif locale -a | grep -q en_US.utf8; then + # Centos doesn't have C.UTF-8 + export LANG=en_US.utf8 else error "Failed to find usable locale" info "Available locales:" |