From fdaa56cbcd4f4cb905511f2a131018f2e123dd8a Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Tue, 16 Mar 2021 13:08:32 -0700 Subject: Makefile: set -j4 in default GHCOPTS --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 196ab4740..ac1850c2d 100644 --- a/Makefile +++ b/Makefile @@ -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) -- cgit v1.2.3