From d919034641c490deb9f1e680adc09a59abd1de18 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Thu, 10 Jan 2019 10:32:22 +0100
Subject: [PATCH] add JAVA_OPTS memory setting to Makefile

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index aefb58d..ed281a1 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 run:
-	rm build/asciidoc/pdf/*.pdf
-	gradle asciidoctor --no-daemon
+	rm -f build/asciidoc/pdf/*.pdf
+	JAVA_OPTS="-Xmx2G" ./gradlew --no-daemon asciidoctor
 view:
 	open build/asciidoc/pdf/prob_user_manual.pdf
 viewd:
-- 
GitLab