diff options
author | Ben Gamari <ben@smart-cactus.org> | 2021-09-15 00:02:24 -0400 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2021-09-23 16:00:18 -0400 |
commit | d7ee5295307c468049480ca5e997c53bc4552170 (patch) | |
tree | f22c59963438bd57bd6b6a5c33e6e8c25f176a0e /.gitlab/ci.sh | |
parent | 8a6598c798e384b98687af888bdb6cc701d97c02 (diff) | |
download | haskell-d7ee5295307c468049480ca5e997c53bc4552170.tar.gz |
gitlab-ci: bash fixes
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x | .gitlab/ci.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 94be278aa1..92a878546f 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -448,7 +448,7 @@ function test_make() { } function build_hadrian() { - if [ -z "$BIN_DIST_NAME" ]; then + if [ -z "${BIN_DIST_NAME:-}" ]; then fail "BIN_DIST_NAME not set" fi @@ -526,7 +526,7 @@ function clean() { } function run_hadrian() { - if [ -z "$BUILD_FLAVOUR" ]; then + if [ -z "${BUILD_FLAVOUR:-}" ]; then fail "BUILD_FLAVOUR not set" fi if [ -z "${BIGNUM_BACKEND:-}" ]; then BIGNUM_BACKEND="gmp"; fi @@ -537,7 +537,7 @@ function run_hadrian() { -j"$cores" \ --broken-test="${BROKEN_TESTS:-}" \ --bignum=$BIGNUM_BACKEND \ - "${args[@]}" \ + "${args[@]+"${args[@]}"}" \ "$@" } |