diff options
| -rw-r--r-- | src/bin/pg_alterckey/Makefile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/bin/pg_alterckey/Makefile b/src/bin/pg_alterckey/Makefile index a88b1d9af4d..7c465b4e290 100644 --- a/src/bin/pg_alterckey/Makefile +++ b/src/bin/pg_alterckey/Makefile @@ -36,9 +36,3 @@ uninstall: clean distclean maintainer-clean: rm -f pg_alterckey$(X) $(OBJS) rm -rf tmp_check - -check: - $(prove_check) - -installcheck: - $(prove_installcheck) |