diff --git a/run-ci b/run-ci index 3b1d4f0898d099c2b6455151d5bac03bc69be2b0..d6acc0dfcf60bd10c366dda6df2e0edfb66ff09a 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"