summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-x.gitlab/ci.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index c64942a321..7a9e11cda3 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -528,7 +528,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
+ MACOSX_DEPLOYMENT_TARGET="" run_hadrian -V stage1:exe:ghc-bin
if [[ -n "${REINSTALL_GHC:-}" ]]; then
run_hadrian build-cabal -V