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