diff options
| -rw-r--r-- | src/bin/pg_rewind/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/bin/pg_rewind/Makefile b/src/bin/pg_rewind/Makefile index e3400f5e812..98213c4ad1f 100644 --- a/src/bin/pg_rewind/Makefile +++ b/src/bin/pg_rewind/Makefile @@ -49,3 +49,6 @@ clean distclean maintainer-clean: check: $(prove_check) + +installcheck: + $(prove_installcheck) |