From 71e858da7546ed1dac22094292f2dbdff8c32398 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C5=81ukasz=20Magiera?= Date: Tue, 5 Dec 2017 17:06:28 +0100 Subject: [PATCH] Give jenkins more memory --- start-prod.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/start-prod.sh b/start-prod.sh index 638af7b..96a88ae 100755 --- a/start-prod.sh +++ b/start-prod.sh @@ -42,6 +42,6 @@ else -v $(pwd)/jenkins-secrets:/home/jenkins/secrets \ --group-add "$(getent group docker | cut -d':' -f 3)" \ -v /var/run/docker.sock:/var/run/docker.sock \ - --env JAVA_OPTS=-Djenkins.install.runSetupWizard=false \ + --env JAVA_OPTS="-Xmx4096m -Djenkins.install.runSetupWizard=false" \ $IMAGE_TO_DEPLOY fi