diff options
| author | Bruce Momjian <bruce@momjian.us> | 2018-07-28 11:35:53 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2018-07-28 11:35:53 -0400 |
| commit | 96313bff295ca2c4f7cb144b1feca825db17da23 (patch) | |
| tree | 0a55d009d8686ffe52088e8142bf3d733a1041f8 /src | |
| parent | d2086b08b023c0749a53d617ff3fe0f052646254 (diff) | |
| download | postgresql-96313bff295ca2c4f7cb144b1feca825db17da23.tar.gz postgresql-96313bff295ca2c4f7cb144b1feca825db17da23.zip | |
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
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgtest | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/pgtest b/src/tools/pgtest index 79954940d22..b16a798470b 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 | |