diff options
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) |