From c9fe6fad280ecfcabd343002c3df19363699b82d Mon Sep 17 00:00:00 2001
From: Ben Gamari <ben@smart-cactus.org>
Date: Mon, 15 Jun 2020 13:54:37 -0400
Subject: [PATCH] Disable perf counters for now

---
 run-ci | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/run-ci b/run-ci
index 3b1d4f08..d6acc0df 100755
--- a/run-ci
+++ b/run-ci
@@ -13,7 +13,7 @@
 #   COLLECT_RTS_STATS
 #                  collect runtime system statistics from compiler (forced on)
 #   COLLECT_PERF_STATS
-#                  collect perf_events counters from compiler (forced on)
+#                  collect perf_events counters from compiler
 #   GHC_PERF_STATS_EVENTS
 #                  which counters to collect
 #
@@ -87,7 +87,6 @@ if [ -n "$COLLECT_RTS_STATS" ]; then
 fi
 
 # Collect perf stats from compilation.
-COLLECT_PERF_STATS=1
 if [ -n "$COLLECT_PERF_STATS" ]; then
   use_wrapper=1
   export GHC_PERF_STATS_DIR="$OUT_DIR/perf-stats"
-- 
GitLab