diff --git a/src/bin/pg_dump/.gitignore b/src/bin/pg_dump/.gitignore
index ae4cf3ce428..e6d78127793 100644
--- a/src/bin/pg_dump/.gitignore
+++ b/src/bin/pg_dump/.gitignore
@@ -1,3 +1,5 @@
 /pg_dump
 /pg_dumpall
 /pg_restore
+
+/tmp_check/
diff --git a/src/bin/pg_dump/Makefile b/src/bin/pg_dump/Makefile
index 9a96361aa35..25336a5f25d 100644
--- a/src/bin/pg_dump/Makefile
+++ b/src/bin/pg_dump/Makefile
@@ -53,3 +53,4 @@ uninstall:
 
 clean distclean maintainer-clean:
 	rm -f pg_dump$(X) pg_restore$(X) pg_dumpall$(X) $(OBJS) pg_dump.o common.o pg_dump_sort.o pg_restore.o pg_dumpall.o
+	rm -rf tmp_check