diff options
| -rw-r--r-- | src/bin/pg_test_fsync/Makefile | 1 | ||||
| -rw-r--r-- | src/bin/pg_test_timing/Makefile | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/bin/pg_test_fsync/Makefile b/src/bin/pg_test_fsync/Makefile index c4f9ae06648..631d0f38a8e 100644 --- a/src/bin/pg_test_fsync/Makefile +++ b/src/bin/pg_test_fsync/Makefile @@ -33,3 +33,4 @@ uninstall: clean distclean maintainer-clean: rm -f pg_test_fsync$(X) $(OBJS) + rm -rf tmp_check diff --git a/src/bin/pg_test_timing/Makefile b/src/bin/pg_test_timing/Makefile index 52994b4103c..84d84c38aa8 100644 --- a/src/bin/pg_test_timing/Makefile +++ b/src/bin/pg_test_timing/Makefile @@ -33,3 +33,4 @@ uninstall: clean distclean maintainer-clean: rm -f pg_test_timing$(X) $(OBJS) + rm -rf tmp_check |