From 2735f5a6103eb99e44776da0f5b9d35a18279cbc Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Sun, 22 Aug 2021 18:26:56 -0400
Subject: 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.
---
 .gitlab/ci.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '.gitlab')

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" \
-- 
cgit v1.2.1