diff options
| -rw-r--r-- | src/Makefile | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/Makefile b/src/Makefile index b490c071382..380da92c75e 100644 --- a/src/Makefile +++ b/src/Makefile @@ -70,15 +70,5 @@ distclean maintainer-clean: $(MAKE) -C test/thread $@ rm -f Makefile.port Makefile.global -coverage: - $(MAKE) -C timezone $@ - $(MAKE) -C backend $@ - $(MAKE) -C backend/utils/mb/conversion_procs $@ - $(MAKE) -C backend/snowball $@ - $(MAKE) -C interfaces $@ - $(MAKE) -C backend/replication/libpqwalreceiver $@ - $(MAKE) -C bin $@ - $(MAKE) -C pl $@ - .PHONY: install-local installdirs-local uninstall-local |