diff options
| -rw-r--r-- | contrib/pg_upgrade/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/contrib/pg_upgrade/Makefile b/contrib/pg_upgrade/Makefile index 7f97b3d4845..63918625f4f 100644 --- a/contrib/pg_upgrade/Makefile +++ b/contrib/pg_upgrade/Makefile @@ -25,7 +25,8 @@ endif check: test.sh MAKE=$(MAKE) bindir=$(bindir) libdir=$(libdir) $(SHELL) $< --install -installcheck: test.sh - MAKE=$(MAKE) bindir=$(bindir) libdir=$(libdir) $(SHELL) $< +# disabled because it upsets the build farm +#installcheck: test.sh +# MAKE=$(MAKE) bindir=$(bindir) libdir=$(libdir) $(SHELL) $< EXTRA_CLEAN = delete_old_cluster.sh log/ tmp_check/ |