diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2021-08-22 18:26:56 -0400 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-07 08:03:03 -0400 |
| commit | 2735f5a6103eb99e44776da0f5b9d35a18279cbc (patch) | |
| tree | ec794115ce45c6669f4ee29ba29d14db019b5f02 /.gitlab | |
| parent | 81975ef375de07a0ea5a69596b2077d7f5959182 (diff) | |
| download | haskell-2735f5a6103eb99e44776da0f5b9d35a18279cbc.tar.gz | |
gitlab-ci: Fix bash version-dependence in ci.sh
As described in https://stackoverflow.com/questions/7577052,
safely expanding bash arrays is very-nearly impossible. The previous
incantation failed under the bash version shipped with Centos 7.
Diffstat (limited to '.gitlab')
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 8734c975f4..95460e4f1e 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -363,9 +363,11 @@ function configure() { fi start_section "configuring" + # See https://stackoverflow.com/questions/7577052 for a rationale for the + # args[@] symbol-soup below. run ./configure \ --enable-tarballs-autodownload \ - "${args[@]}" \ + "${args[@]+"${args[@]}"}" \ GHC="$GHC" \ HAPPY="$HAPPY" \ ALEX="$ALEX" \ |