diff --git a/GNUmakefile.in b/GNUmakefile.in index 4d51d1a6261..456b87591aa 100644 --- a/GNUmakefile.in +++ b/GNUmakefile.in @@ -165,7 +165,7 @@ precheck-main: | temp-install $(MAKE) polar-check PG_TEST_EXTRA='kerberos ldap ssl' USE_MODULE_DB=1 PROVE_FLAGS=$(PROVE_FLAGS) $(MAKE) polar-installcheck PG_TEST_EXTRA='kerberos ldap ssl' USE_MODULE_DB=1 NO_TAP_TESTS=1 -precheck: plcheck dccheck-lite precheck-main +precheck: precheck-main covcheck: coverage-html $(top_srcdir)/src/tools/delta_coverage.pl -f coverage/delta_coverage.txt -p $(LAST_COMMIT)