From 986c21701368d0d5bb8ceb163c42ae3846a6f979 Mon Sep 17 00:00:00 2001
From: Andreas Klebinger <klebinger.andreas@gmx.at>
Date: Mon, 4 Apr 2022 18:40:31 +0200
Subject: [PATCH] Document EXTRA_RUNTEST_OPTS for make mode

---
 README.make.mkd | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.make.mkd b/README.make.mkd
index b8593510..f2d9a285 100644
--- a/README.make.mkd
+++ b/README.make.mkd
@@ -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.
 
-- 
GitLab