diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2020-09-07 12:13:04 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2020-09-08 15:43:55 -0400 |
| commit | d989c84225090f850591e9f4f82adffbf8c96cac (patch) | |
| tree | 721874b03b714dc900e6a377b3703b4b715baefd /.gitlab/ci.sh | |
| parent | 0c61cbfff985723240671b54d6f80075e4907e85 (diff) | |
| download | haskell-d989c84225090f850591e9f4f82adffbf8c96cac.tar.gz | |
gitlab-ci: Accept Centos 7 C.utf8 locale
Centos apparently has C.utf8 rather than C.UTF-8.
(cherry picked from commit d9f85dd25a26a04d3485470afb3395ee2dec6464)
Diffstat (limited to '.gitlab/ci.sh')
| -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 5714f03fd4..5a42709c24 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:" |