From 3ad345bfdf8c41b5fa679184f1ffcbecaeea725c Mon Sep 17 00:00:00 2001
From: Moritz Angermann <moritz.angermann@gmail.com>
Date: Wed, 17 Feb 2021 21:26:19 +0800
Subject: [ci] default value for CONFIGURE_ARGS

---
 .gitlab/ci.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 36e1ae67b7..d8c8b2b607 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -340,7 +340,7 @@ function configure() {
   run ./configure \
     --enable-tarballs-autodownload \
     $target_args \
-    $CONFIGURE_ARGS \
+    ${CONFIGURE_ARGS:-} \
     GHC="$GHC" \
     HAPPY="$HAPPY" \
     ALEX="$ALEX" \
-- 
cgit v1.2.1