diff options
| author | Peter Eisentraut | 2011-12-27 18:27:24 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2011-12-27 18:27:24 +0000 |
| commit | c317a3ac167d36244e8dd5add679b4e9ff36ea16 (patch) | |
| tree | 9c53a770ac9ed1221e2edfb7a3d084f70885edb4 /contrib | |
| parent | 54d792f3e5a31d993aeee420e98adab0a0419e43 (diff) | |
Run "make all" as a prerequisite of "make check"
This is the standard behavior but was forgotten in some places.
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/pg_upgrade/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/pg_upgrade/Makefile b/contrib/pg_upgrade/Makefile index f00aad01d66..364b20df1ba 100644 --- a/contrib/pg_upgrade/Makefile +++ b/contrib/pg_upgrade/Makefile @@ -24,7 +24,7 @@ include $(top_builddir)/src/Makefile.global include $(top_srcdir)/contrib/contrib-global.mk endif -check: test.sh +check: test.sh all MAKE=$(MAKE) bindir=$(bindir) libdir=$(libdir) $(SHELL) $< --install # disabled because it upsets the build farm |