diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-02-17 21:26:19 +0800 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-05-07 09:17:22 +0800 |
| commit | bb78df780b53ce8d37e615e5b1cea0402abfd6a9 (patch) | |
| tree | 6b6bd2d6f809851241ce346fd68cfb3df864454b | |
| parent | 41b0c2889f0e4c4fbcb6ca97a4bf28b697bf8b92 (diff) | |
| download | haskell-bb78df780b53ce8d37e615e5b1cea0402abfd6a9.tar.gz | |
[ci] default value for CONFIGURE_ARGS
(cherry picked from commit 307d34945b7d932156e533736c91097493e6181b)
| -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 db75cc1fef..471adddaf4 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -394,7 +394,7 @@ function configure() { run ./configure \ --enable-tarballs-autodownload \ $target_args \ - $CONFIGURE_ARGS \ + ${CONFIGURE_ARGS:-} \ GHC="$GHC" \ HAPPY="$HAPPY" \ ALEX="$ALEX" \ |