summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2022-05-18 14:40:31 +0000
committerMarge Bot <ben+marge-bot@smart-cactus.org>2022-05-19 04:58:27 -0400
commit209d7c699225f5e9b8acbf9e50711165a37a91ed (patch)
tree4f89beb98892425e9bf4ac1f58218f5f0d565f2c
parenta05b62936a7101e265b7b7776d8119754738ca70 (diff)
downloadhaskell-209d7c699225f5e9b8acbf9e50711165a37a91ed.tar.gz
ci: Use correct syntax when args list is empty
This seems to fail on the ancient version of bash present on CentOS
-rwxr-xr-x.gitlab/ci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 6c030a4e62..48c34ec4fc 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -582,7 +582,7 @@ function test_hadrian() {
;;
*)
read -r -a args <<< "${INSTALL_CONFIGURE_ARGS:-}"
- run ./configure --prefix="$TOP"/_build/install "${args[@]}"
+ run ./configure --prefix="$TOP"/_build/install "${args[@]+"${args[@]}"}"
run "$MAKE" install
;;
esac