diff options
| author | Bruce Momjian <bruce@momjian.us> | 2015-05-12 11:01:25 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2015-05-12 11:01:25 -0400 |
| commit | e8c19263e45ce1f3133d2d403de9d380cdcd1fce (patch) | |
| tree | 04ce42b3c7dbd99bbe991509132c221433a5a9b6 /src | |
| parent | 72d422a5227ef6f76f412486a395aba9f53bf3f0 (diff) | |
| download | postgresql-e8c19263e45ce1f3133d2d403de9d380cdcd1fce.tar.gz postgresql-e8c19263e45ce1f3133d2d403de9d380cdcd1fce.zip | |
doc: prevent SGML 'make check' from building temp install
Report by Alvaro Herrera
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile.global.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index f8b7b3541d3..7a9af7c49f0 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -303,11 +303,13 @@ check: temp-install .PHONY: temp-install temp-install: +ifdef GENERATED_SGML # not needed for SGML 'make check' ifeq ($(MAKELEVEL),0) rm -rf '$(abs_top_builddir)'/tmp_install $(MAKE) -C '$(top_builddir)' DESTDIR='$(abs_top_builddir)'/tmp_install install endif $(if $(EXTRA_INSTALL),for extra in $(EXTRA_INSTALL); do $(MAKE) -C '$(top_builddir)'/$$extra DESTDIR='$(abs_top_builddir)'/tmp_install install || exit; done) +endif PROVE = @PROVE@ PG_PROVE_FLAGS = -I $(top_srcdir)/src/test/perl/ |