From c540559cf188625bec668fa6cd94d4f94413d730 Mon Sep 17 00:00:00 2001
From: Matthew Pickering <matthewtpickering@gmail.com>
Date: Wed, 7 Feb 2024 19:29:14 +0000
Subject: [PATCH] ci: Show --info for installed compiler
---
.gitlab/ci.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/.gitlab/ci.sh b/.gitlab/ci.sh
index 990293a4a78d..131dd044b9c5 100755
--- a/.gitlab/ci.sh
+++ b/.gitlab/ci.sh
@@ -556,6 +556,8 @@ function install_bindist() {
--prefix="$instdir" \
"${args[@]+"${args[@]}"}"
make_install_destdir "$TOP"/destdir "$instdir"
+ # And check the `--info` of the installed compiler, sometimes useful in CI log.
+ "$instdir"/bin/ghc --info
;;
esac
popd
--
GitLab