aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ced5baf9f..6ae6ab491 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ BASELINECMD=
else
BASELINECMD=--baseline $(BASELINE)
endif
-GHCOPTS=-fdiagnostics-color=always -j4 +RTS -A256m -RTS
+GHCOPTS=-fdiagnostics-color=always -j4 +RTS -A8m -RTS
WEBSITE=../../web/pandoc.org
REVISION?=1
# For gauge: