diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-15 18:47:10 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-15 18:50:21 -0700 |
| commit | 78775751d900c4b1a010c85a4026b11bf3ee4f68 (patch) | |
| tree | 83504a353feb820df3a022148ce306e5f13d0cb8 | |
| parent | 63a6059790f24b02c594548bd42e01cd082768a0 (diff) | |
| download | pandoc-78775751d900c4b1a010c85a4026b11bf3ee4f68.tar.gz | |
Add compiler timings to 'make bench'
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 |