diff options
| author | Noah Misch | 2018-12-31 21:53:05 +0000 |
|---|---|---|
| committer | Noah Misch | 2018-12-31 21:53:05 +0000 |
| commit | 76f7b0b08ac44733193bfb0b0d61dd2b32cdc21b (patch) | |
| tree | 43e9448827d3e17c48c8744ac53624c792106a8a | |
| parent | 94600dd4f47d4eb659e0c35cab0aeb257f89cbf1 (diff) | |
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
| -rw-r--r-- | src/Makefile.global.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 956fd274cd8..75b52a866a8 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -391,7 +391,7 @@ ifeq ($(MAKELEVEL),0) $(MKDIR_P) '$(abs_top_builddir)'/tmp_install/log $(MAKE) -C '$(top_builddir)' DESTDIR='$(abs_top_builddir)'/tmp_install install >'$(abs_top_builddir)'/tmp_install/log/install.log 2>&1 endif - $(if $(EXTRA_INSTALL),for extra in $(EXTRA_INSTALL); do $(MAKE) -C '$(top_builddir)'/$$extra DESTDIR='$(abs_top_builddir)'/tmp_install install >>'$(abs_top_builddir)'/tmp_install/log/install.log || exit; done) + $(if $(EXTRA_INSTALL),for extra in $(EXTRA_INSTALL); do $(MAKE) -C '$(top_builddir)'/$$extra DESTDIR='$(abs_top_builddir)'/tmp_install install >>'$(abs_top_builddir)'/tmp_install/log/install.log 2>&1 || exit; done) endif endif |