diff options
author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-02-17 21:26:19 +0800 |
---|---|---|
committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-02-17 21:26:19 +0800 |
commit | 3ad345bfdf8c41b5fa679184f1ffcbecaeea725c (patch) | |
tree | f3cf79d4cb661739850a2fa9820107ee6c37e37e | |
parent | 5109e87e13ab45d799db2013535f54ca35f1f4dc (diff) | |
download | haskell-wip/angerman/unbreak-ci.tar.gz |
[ci] default value for CONFIGURE_ARGSwip/angerman/unbreak-ci
-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 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" \ |