aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
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: