diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 09:25:39 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 09:25:39 -0700 |
| commit | 84836719aabe055b12d8444f8a6e70c13336f614 (patch) | |
| tree | bb586a427bd2a797d9114a54d3a279b330439c03 /Makefile | |
| parent | 7bf4be04b0c04ccfd02a2a907071b8747380904f (diff) | |
| download | pandoc-84836719aabe055b12d8444f8a6e70c13336f614.tar.gz | |
Makefile: Add comment documenting benchmark settings.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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: |