diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/Makefile.global.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Makefile.global.in b/src/Makefile.global.in index 1fb0ab38183..e77043a2ee6 100644 --- a/src/Makefile.global.in +++ b/src/Makefile.global.in @@ -444,7 +444,6 @@ rm -rf '$(CURDIR)'/tmp_check $(MKDIR_P) '$(CURDIR)'/tmp_check cd $(srcdir) && \ TESTDIR='$(CURDIR)' PATH="$(bindir):$$PATH" PGPORT='6$(DEF_PGPORT)' \ - top_builddir='$(top_builddir)' \ PG_REGRESS='$(top_builddir)/src/test/regress/pg_regress' \ $(PROVE) $(PG_PROVE_FLAGS) $(PROVE_FLAGS) $(if $(PROVE_TESTS),$(PROVE_TESTS),t/*.pl) endef |