diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index ae386375ee..74b25e7732 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -456,7 +456,7 @@ function build_hadrian() { # N.B. First build Hadrian, unsetting MACOSX_DEPLOYMENT_TARGET which may warn # if the bootstrap libraries were built with a different version expectation. MACOSX_DEPLOYMENT_TARGET="" run_hadrian stage1:exe:ghc-bin - run_hadrian binary-dist + run_hadrian binary-dist -V mv _build/bindist/ghc*.tar.xz "$BIN_DIST_NAME.tar.xz" } @@ -544,7 +544,6 @@ function run_hadrian() { -j"$cores" \ --broken-test="${BROKEN_TESTS:-}" \ --bignum=$BIGNUM_BACKEND \ - -V \ "${args[@]+"${args[@]}"}" \ "$@") } |