diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 13:34:17 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-17 13:34:17 -0700 |
| commit | c6e5cf2e7472ab872a537327a03ef9eb9fcef2a1 (patch) | |
| tree | 4f6b922045aa8fa7b48c35ed96aa7f175cf9062f /.circleci | |
| parent | 84836719aabe055b12d8444f8a6e70c13336f614 (diff) | |
| download | pandoc-c6e5cf2e7472ab872a537327a03ef9eb9fcef2a1.tar.gz | |
Benchmark improvements.
* Build `+RTS -A256m -RTS` into default ghc-options for benchmark,
so we don't have to specify this separately on the command line.
This is necessary to get accurate benchmark results; otherwise
we are largely measuring garbage collecting, some not related
to the current benchmark.
* Switch back from gauge to tasty-bench.
* Allow specifying BASELINE file in 'make bench' for comparison
(otherwise the latest is chosen by default).
* Remove obsolete reference to weigh-pandoc from CONTRIBUTING.md.
* Remove `-Rghc-timing` from 'make bench'.
Diffstat (limited to '.circleci')
0 files changed, 0 insertions, 0 deletions