pgtest: grab possible warnings from install.log

bmomjian · bmomjian · commit f0aff14d4339 · 2018-07-28T11:35:53.000-04:00
Since PG 9.5, 'make check' records the build output in install.log, so
look in there for warnings too.

Backpatch-through: 9.5
diff --git 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 |
