diff options
author | Ben Gamari <ben@well-typed.com> | 2023-02-02 21:27:47 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-02-03 05:25:59 -0500 |
commit | 8feb93013cf6f093e025c9e9a3213ae1fa0f73a0 (patch) | |
tree | 49ecae0e9be0f5fa796cc15c097146fdd775b0d6 /.gitlab/ci.sh | |
parent | 3135819847aae0cdcc6c2fca4a2234fcfed1db93 (diff) | |
download | haskell-8feb93013cf6f093e025c9e9a3213ae1fa0f73a0.tar.gz |
gitlab-ci: Eliminate redundant ghc --info output
Previously ci.sh would emit the output of `ghc --info` every time it ran
when using the nix toolchain. This produced a significant amount of
noise.
See #22861.
Diffstat (limited to '.gitlab/ci.sh')
-rwxr-xr-x | .gitlab/ci.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh index 6dd12768b1..c447696ae6 100755 --- a/.gitlab/ci.sh +++ b/.gitlab/ci.sh @@ -214,8 +214,6 @@ function set_toolchain_paths() { cat toolchain.sh fi source toolchain.sh - info "--info for GHC for $NIX_SYSTEM" - $GHC --info ;; env) # These are generally set by the Docker image but @@ -274,6 +272,11 @@ function setup() { show_tool CABAL show_tool HAPPY show_tool ALEX + + info "=====================================================" + info "ghc --info" + info "=====================================================" + $GHC --info } function fetch_ghc() { |