diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2022-05-18 14:40:31 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-05-19 04:58:27 -0400 |
commit | 209d7c699225f5e9b8acbf9e50711165a37a91ed (patch) | |
tree | 4f89beb98892425e9bf4ac1f58218f5f0d565f2c /.gitlab | |
parent | a05b62936a7101e265b7b7776d8119754738ca70 (diff) | |
download | haskell-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
Diffstat (limited to '.gitlab')
-rwxr-xr-x | .gitlab/ci.sh | 2 |
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 |