diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-01-31 18:18:53 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-01-31 18:18:53 -0800 |
| commit | 22faea15c249c1f84257d289ed6904f3abe64330 (patch) | |
| tree | 25498d226fa2ddf9a2882a409951cc01a0c2f80e /Makefile | |
| parent | aa60d9b230f3d010d9e2da828d9e2583c0220719 (diff) | |
| download | pandoc-22faea15c249c1f84257d289ed6904f3abe64330.tar.gz | |
Makefile: give allocation data in benchmarks.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,7 +6,7 @@ RESOLVER?=lts-13 GHCOPTS=-fdiagnostics-color=always WEBSITE=../../web/pandoc.org REVISION?=1 -BENCHARGS?="--timeout=6" +BENCHARGS?="--timeout=6 +RTS -T -RTS" quick: stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='-j +RTS -A64m -RTS' --test-arguments='-j4 --hide-successes $(TESTARGS)' @@ -39,7 +39,7 @@ ghcid: ghcid -c "stack repl --flag 'pandoc:embed_data_files'" bench: - stack bench --benchmark-arguments='$(BENCHARGS)' --ghc-options '$(GHCOPTS)' + stack bench --benchmark-arguments=$(BENCHARGS) --ghc-options '$(GHCOPTS)' weigh: stack build --ghc-options '$(GHCOPTS)' pandoc:weigh-pandoc && stack exec weigh-pandoc |