aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2021-03-15 18:47:10 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2021-03-15 18:50:21 -0700
commit78775751d900c4b1a010c85a4026b11bf3ee4f68 (patch)
tree83504a353feb820df3a022148ce306e5f13d0cb8 /Makefile
parent63a6059790f24b02c594548bd42e01cd082768a0 (diff)
downloadpandoc-78775751d900c4b1a010c85a4026b11bf3ee4f68.tar.gz
Add compiler timings to 'make bench'
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index e37094d4c..24df6da46 100644
--- a/Makefile
+++ b/Makefile
@@ -51,7 +51,7 @@ ghcid-test:
ghcid -c "stack repl --ghc-options=-XNoImplicitPrelude --flag 'pandoc:embed_data_files' --ghci-options=-fobject-code pandoc:lib pandoc:test-pandoc"
bench:
- stack bench --benchmark-arguments='$(BENCHARGS) $(BASELINE) --csv bench_$(TIMESTAMP).csv' --ghc-options '$(GHCOPTS)'
+ stack bench --benchmark-arguments='$(BENCHARGS) $(BASELINE) --csv bench_$(TIMESTAMP).csv' --ghc-options '-Rghc-timing $(GHCOPTS)'
weigh:
stack build --ghc-options '$(GHCOPTS)' pandoc:weigh-pandoc && stack exec weigh-pandoc