summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-08-22 18:26:56 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-09-07 08:03:03 -0400
commit2735f5a6103eb99e44776da0f5b9d35a18279cbc (patch)
treeec794115ce45c6669f4ee29ba29d14db019b5f02
parent81975ef375de07a0ea5a69596b2077d7f5959182 (diff)
downloadhaskell-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.
-rwxr-xr-x.gitlab/ci.sh4
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" \