diff options
| author | Francesco Occhipinti <focchi.pinti@gmail.com> | 2018-04-24 21:31:03 +0200 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2018-04-24 12:31:03 -0700 |
| commit | 9465e5e048876d21f2abb8807df4b7b5c116b23f (patch) | |
| tree | e85885fbf0b35a1730e915212d7fc4b738f4137f /linux | |
| parent | 7c77c670377588d9b53250b282c0e396a9266101 (diff) | |
| download | pandoc-9465e5e048876d21f2abb8807df4b7b5c116b23f.tar.gz | |
use the `-threaded` GHC flag when building benchmarks, related to #4130 (#4587)
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions