From ceb5b2679bb6a443ffdec6f30caaf5c59efe6059 Mon Sep 17 00:00:00 2001
From: Keith Rothman <537074+litghost@users.noreply.github.com>
Date: Tue, 18 Feb 2020 15:23:44 -0800
Subject: [PATCH] Increase MAX_VIVADO_PROCESS to use more of available memory.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
---
 .github/kokoro/db-full.sh        | 7 -------
 .github/kokoro/steps/hostinfo.sh | 3 ++-
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh
index c3d41152..0512391d 100755
--- a/.github/kokoro/db-full.sh
+++ b/.github/kokoro/db-full.sh
@@ -44,13 +44,6 @@ echo "----------------------------------------"
 	echo "----------------------------------------"
 
 	# Run the fuzzers
-	#
-	# Cap MAX_VIVADO_PROCESS at 20 to limit memory usage of 074 fuzzer.
-	# At MAX_VIVADO_PROCESS=20:
-	# - 072 completes in ~35 minutes
-	# - 074 completes in ~60 minutes
-	# which is well before the 05x INT fuzzers complete.
-	export MAX_VIVADO_PROCESS=$((CORES/2 < 20 ? CORES/2 : 20))
 	set -x +e
 	tmp=`mktemp`
 	script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$MAX_VIVADO_PROCESS db-${XRAY_SETTINGS}-all" $tmp
diff --git a/.github/kokoro/steps/hostinfo.sh b/.github/kokoro/steps/hostinfo.sh
index b0042f8a..f55cb432 100755
--- a/.github/kokoro/steps/hostinfo.sh
+++ b/.github/kokoro/steps/hostinfo.sh
@@ -24,8 +24,9 @@ export MEM_GB=$(($(awk '/MemTotal/ {print $2}' /proc/meminfo)/(1024*1024)))
 echo "Total Memory (GB): $MEM_GB"
 
 # Approx memory per grid process
-export MEM_PER_GRID=8
+export MEM_PER_RUN=8
 export MAX_CPU_PER_GRID=$(($MEM_GB/$MEM_PER_RUN))
+export MAX_VIVADO_PROCESS=$(($MEM_GB/$MEM_PER_RUN))
 
 echo
 echo "========================================"