summaryrefslogtreecommitdiff
path: root/hadrian/doc
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2021-02-24 08:50:10 -0500
committerBen Gamari <ben@smart-cactus.org>2021-02-24 11:15:41 -0500
commit003ea780e93d9885aaf8da7b8df3504d474bef33 (patch)
treea289348a9209249e71f026b7da9a19c8f5ffbfb2 /hadrian/doc
parent7151eaa37b8842f34e75b5e254d8185c3ce73a3d (diff)
downloadhaskell-003ea780e93d9885aaf8da7b8df3504d474bef33.tar.gz
hadrian: Introduce runtest.opts key-value setting
Diffstat (limited to 'hadrian/doc')
-rw-r--r--hadrian/doc/user-settings.md3
1 files changed, 3 insertions, 0 deletions
diff --git a/hadrian/doc/user-settings.md b/hadrian/doc/user-settings.md
index e6146d8ea4..40b55db3a3 100644
--- a/hadrian/doc/user-settings.md
+++ b/hadrian/doc/user-settings.md
@@ -411,6 +411,9 @@ the right names for them:
* `cabal.configure.opts` refers to Cabal configure command line. Note that
package flags can be given by adding `--flags=...` arguments.
+ * `runtest.opts` defines extra arguments passed to `runtest.py` when
+ invoked via the `hadrian test` target.
+
- using a wildcard (`*`) ranges over all possible values for a given "slot";
- `=` entirely overrides the arguments for a given builder in a given context,
with the value specified on the right hand side of `=`, while `+=` merely