Makefile: Add comment documenting benchmark settings.

This commit is contained in:
John MacFarlane 2021-03-17 09:25:39 -07:00
parent 7bf4be04b0
commit 84836719aa

View file

@ -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: