From 24f34c7372851c6729b8f2a5f5e60ceda405599a Mon Sep 17 00:00:00 2001
From: Keith Rothman <537074+litghost@users.noreply.github.com>
Date: Fri, 8 Feb 2019 12:47:31 -0800
Subject: [PATCH] Add comment about limiting MAX_VIVADO_INSTANCE to 20.

Signed-off-by: Keith Rothman <537074+litghost@users.noreply.github.com>
---
 .github/kokoro/db-full.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh
index 03c31b37..3f3a1cd0 100755
--- a/.github/kokoro/db-full.sh
+++ b/.github/kokoro/db-full.sh
@@ -46,6 +46,12 @@ 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
 	script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$MAX_VIVADO_PROCESS" -