diff options
| author | Moritz Angermann <moritz.angermann@gmail.com> | 2021-02-17 21:26:19 +0800 |
|---|---|---|
| committer | Moritz Angermann <moritz.angermann@gmail.com> | 2021-04-20 15:51:24 +0800 |
| commit | 15372ddf95a1997152580a52476a258e01339e20 (patch) | |
| tree | 26afb52d3f300457cc5a10824400e00ece0ae2b5 | |
| parent | 4ade427debf68718a2b2988562b8be5ce6048972 (diff) | |
| download | haskell-15372ddf95a1997152580a52476a258e01339e20.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 8a39cf282b..4eab89790e 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" \ |