@@ -6,7 +6,7 @@ RESOLVER?=lts-13
66GHCOPTS=-fdiagnostics-color=always
77WEBSITE=../../web/pandoc.org
88REVISION?=1
9−BENCHARGS?="--timeout=6"
9+BENCHARGS?="--timeout=6 +RTS -T -RTS"
1010
1111quick:
1212 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:
3939 ghcid -c "stack repl --flag 'pandoc:embed_data_files'"
4040
4141bench:
42− stack bench --benchmark-arguments='$(BENCHARGS)' --ghc-options '$(GHCOPTS)'
42+ stack bench --benchmark-arguments=$(BENCHARGS) --ghc-options '$(GHCOPTS)'
4343
4444weigh:
4545 stack build --ghc-options '$(GHCOPTS)' pandoc:weigh-pandoc && stack exec weigh-pandoc