From 5f2c5890e92c68163cb36b8551d45244d3280af9 Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 28 Jul 2018 11:35:52 -0400
Subject: [PATCH] pgtest:  grab possible warnings from install.log

Since PG 9.5, 'make check' records the build output in install.log, so
look in there for warnings too.

Backpatch-through: 9.5
---
 src/tools/pgtest | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/tools/pgtest b/src/tools/pgtest
index 79954940d2..b16a798470 100755
--- a/src/tools/pgtest
+++ b/src/tools/pgtest
@@ -23,10 +23,15 @@ then	PGCLEAN=clean
 else	shift
 fi
 
+rm -f tmp_install/log/install.log
+
 # Run "make check" and store return code in $TMP/ret.
 # Display output but also capture it in $TMP/0.
 ($MAKE "$@" $PGCLEAN check 2>&1; echo "$?" > $TMP/ret) | tee  $TMP/0
 
+# Grab possible warnings from install.log
+[ -e tmp_install/log/install.log ] && cat tmp_install/log/install.log >> $TMP/0
+
 # If success, display warnings
 if [ $(cat $TMP/ret) -eq 0 ]
 then	cat $TMP/0 |