Skip to content
Snippets Groups Projects
Commit 7f5e11e0 authored by Ben Gamari's avatar Ben Gamari :turtle:
Browse files

run-ci: Briefly describe configuration file intent

parent 5cdd1a70
No related branches found
No related tags found
No related merge requests found
...@@ -16,6 +16,15 @@ ...@@ -16,6 +16,15 @@
# collect perf_events counters from compiler (forced on) # collect perf_events counters from compiler (forced on)
# GHC_PERF_STATS_EVENTS # GHC_PERF_STATS_EVENTS
# which counters to collect # which counters to collect
#
# Configuration script
# --------------------
#
# The configuration script (`config.sh` by default) provides various
# ad-hoc configuration including:
#
# - which packages are broken
# - extra packages to build (that don't have a patch)
set -e set -e
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment