diff options
Diffstat (limited to 'src/bin/pg_walsummary/Makefile')
| -rw-r--r-- | src/bin/pg_walsummary/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/bin/pg_walsummary/Makefile b/src/bin/pg_walsummary/Makefile index 7b0e40e7136..1886c39e98b 100644 --- a/src/bin/pg_walsummary/Makefile +++ b/src/bin/pg_walsummary/Makefile @@ -40,6 +40,7 @@ uninstall: clean distclean maintainer-clean: rm -f pg_walsummary$(X) $(OBJS) + rm -rf tmp_check check: $(prove_check) |