diff options
Diffstat (limited to '.gitlab/ci.sh')
| -rwxr-xr-x | .gitlab/ci.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index c447696ae6..05c6bf617f 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -518,9 +518,9 @@ function build_hadrian() { fi if [[ -n "${REINSTALL_GHC:-}" ]]; then - run_hadrian build-cabal -V + run_hadrian build-cabal else - run_hadrian test:all_deps binary-dist -V + run_hadrian test:all_deps binary-dist mv _build/bindist/ghc*.tar.xz "$BIN_DIST_NAME.tar.xz" fi |