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)