summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-09-15 00:02:24 -0400
committerMarge Bot <ben+marge-bot@smart-cactus.org>2021-09-23 16:00:18 -0400
commitd7ee5295307c468049480ca5e997c53bc4552170 (patch)
treef22c59963438bd57bd6b6a5c33e6e8c25f176a0e
parent8a6598c798e384b98687af888bdb6cc701d97c02 (diff)
downloadhaskell-d7ee5295307c468049480ca5e997c53bc4552170.tar.gz
gitlab-ci: bash fixes
-rwxr-xr-x.gitlab/ci.sh6
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[@]}"}" \
"$@"
}