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-18 10:05:27 +0800 |
commit | 307d34945b7d932156e533736c91097493e6181b (patch) | |
tree | 5858dcd12b09f5473242595565c9de992574b77d /.gitlab | |
parent | ddb152d57356cf6a2649b8598e596b5e8051ded2 (diff) | |
download | haskell-307d34945b7d932156e533736c91097493e6181b.tar.gz |
[ci] default value for CONFIGURE_ARGS
Diffstat (limited to '.gitlab')
-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" \ |