From 84836719aabe055b12d8444f8a6e70c13336f614 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Wed, 17 Mar 2021 09:25:39 -0700
Subject: [PATCH] Makefile: Add comment documenting benchmark settings.

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 60aaeb43f..0ef0406f8 100644
--- a/Makefile
+++ b/Makefile
@@ -15,6 +15,9 @@ endif
 GHCOPTS=-fdiagnostics-color=always -j4 +RTS -A256m -RTS
 WEBSITE=../../web/pandoc.org
 REVISION?=1
+# Note: for benchmarks we use +RTS -A256m -I0 -RTS ; otherwise the benchmarks
+# are measuring garbage collecting, and this can vary depending on which
+# other benchmarks are run.
 # For gauge:
 BENCHARGS?=--small --ci=0.90 --match=pattern $(PATTERN) +RTS -T -A256m -I0 -RTS
 # For tasty-bench: