diff options
Diffstat (limited to 'src/bin/pg_waldump/Makefile')
| -rw-r--r-- | src/bin/pg_waldump/Makefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/bin/pg_waldump/Makefile b/src/bin/pg_waldump/Makefile index f5957bd75a..135979cef3 100644 --- a/src/bin/pg_waldump/Makefile +++ b/src/bin/pg_waldump/Makefile @@ -38,3 +38,10 @@ uninstall: clean distclean maintainer-clean: rm -f pg_waldump$(X) $(OBJS) $(RMGRDESCSOURCES) xlogreader.c + rm -rf tmp_check + +check: + $(prove_check) + +installcheck: + $(prove_installcheck) |