From 5a6422f4f33102aa26c66c3c10839afce31d40d5 Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 11 Feb 2020 14:56:15 +0100
Subject: [PATCH] jenkins-setup-build-environment: require 9GB RAM for 8GB VM

[skip ci] since this isn't used in gitlab-ci at all
---
 jenkins-setup-build-environment | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment
index 36c0a2aa..8c483a90 100755
--- a/jenkins-setup-build-environment
+++ b/jenkins-setup-build-environment
@@ -56,7 +56,7 @@ mkdir $VAGRANT_HOME
 rm -rf "$WORKSPACE"/../*/.testfiles
 
 memtotal=$(grep ^MemTotal: /proc/meminfo | awk '{print $2}')
-if [ $memtotal -gt 8092876 ]; then
+if [ $memtotal -gt 9437184 ]; then
     memory=8192
 else
     memory=$(((memtotal / 1024) - 1024))