Send EXTRA_INSTALL errors to install.log, not stderr.
We already redirected other temp-install stderr and all temp-install
stdout in this way. Back-patch to v10, like the next commit.
Discussion: https://postgr.es/m/20181224221601.GA3227827@rfd.leadboat.com
Branch
------
REL_10_STABLE
Details
-------
https://git.postgresql.org/pg/commitdiff/e7ebc8c285f12b0f50924a69627a40050c85a1e2
Modified Files
--------------
src/Makefile.global.in | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)