From 820ea7703f2a781181131da84df1539046cb53a8 Mon Sep 17 00:00:00 2001
From: Keith Rothman <537074+litghost@users.noreply.github.com>
Date: Fri, 8 Feb 2019 10:55:35 -0800
Subject: [PATCH] Update CI configuration:

 - Log output of run_fuzzer.py
 - Decrease number of processes running for 072 and 074 to lower memory
   load.

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

diff --git a/.github/kokoro/database.cfg b/.github/kokoro/database.cfg
index c904160c..ebc11d87 100644
--- a/.github/kokoro/database.cfg
+++ b/.github/kokoro/database.cfg
@@ -6,6 +6,8 @@ action {
   define_artifacts {
     regex: "**/*result*.xml"
     regex: "**/build/*.log"
+    regex: "**/logs/*.log"
+    regex: "**/logs/*.xml"
     regex: "**/build/**"
     regex: "**/diff.*"
     regex: "**/database/**"
diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh
index 905aa201..03c31b37 100755
--- a/.github/kokoro/db-full.sh
+++ b/.github/kokoro/db-full.sh
@@ -46,9 +46,9 @@ echo "----------------------------------------"
 	echo "----------------------------------------"
 
 	# Run the fuzzers
-	export MAX_VIVADO_PROCESS=$CORES
+	export MAX_VIVADO_PROCESS=$((CORES/2 < 20 ? CORES/2 : 20))
 	set -x
-	script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$CORES" -
+	script --return --flush --command "make -j $CORES MAX_VIVADO_PROCESS=$MAX_VIVADO_PROCESS" -
 	set +x
 	echo "----------------------------------------"