diff options
| -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 |