Skip to content
Snippets Groups Projects
Commit 986c2170 authored by Andreas Klebinger's avatar Andreas Klebinger
Browse files

Document EXTRA_RUNTEST_OPTS for make mode

parent e68b056d
No related branches found
No related tags found
1 merge request!57Document EXTRA_RUNTEST_OPTS for make mode
Pipeline #49911 passed
......@@ -52,6 +52,14 @@ $ make boot
$ make EXTRA_HC_OPTS="-fllvm"
```
Likewise, you can pass additional arguments (e.g. RTS flags) to the command
itself by using the `EXTRA_RUNTEST_OPTS` variable like this:
make EXTRA_RUNTEST_OPTS="-- +RTS -A2M -RTS"
The `--` here ensures that `runtest` doesn't attempt to interpret any of the
given flags as its own.
**Note:** to get all the results, you have to `clean` and `boot` between
separate `nofib` runs.
......
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