diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2021-03-16 13:08:32 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2021-03-16 13:08:32 -0700 |
| commit | fdaa56cbcd4f4cb905511f2a131018f2e123dd8a (patch) | |
| tree | 7e73ec59e7c8430774b1c87a4c293d7a8f505b38 /Makefile | |
| parent | 769891833054d9722325a9df1cf9fe6dc792c0c9 (diff) | |
| download | pandoc-fdaa56cbcd4f4cb905511f2a131018f2e123dd8a.tar.gz | |
Makefile: set -j4 in default GHCOPTS
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -12,7 +12,7 @@ BASELINE= else BASELINE=--baseline $(LATESTBENCH) endif -GHCOPTS=-fdiagnostics-color=always +GHCOPTS=-fdiagnostics-color=always -j4 +RTS -A256m -RTS WEBSITE=../../web/pandoc.org REVISION?=1 BENCHARGS?=--small --time-limit=2 --match=pattern $(PATTERN) |