diff options
| -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/ |