git.postgresql.org Git - postgresql.git/commitdiff

diff --git a/src/tools/pgtest b/src/tools/pgtest

index 5a6b110eb2454360708c4099085f41591d0e76de..080cf6ae761ef5b6ce4c7910594da8e27b11891f 100755 (executable)

--- a/src/tools/pgtest

+++ b/src/tools/pgtest

then $MAKE "$@" 2>&1 && $MAKE "$@" check 2>&1

echo "$?" > "$TMP"/ret

fi

-) | tee "$TMP"/0

+) | tee "$TMP"/0

# Grab possible warnings from install.log

[ -e tmp_install/log/install.log ] && cat tmp_install/log/install.log >> "$TMP"/0