From 74a73b17225385e54dbf9fc2f77aaa59191ac04b Mon Sep 17 00:00:00 2001
From: Tom Lane <tgl@sss.pgh.pa.us>
Date: Fri, 6 May 2016 22:28:01 -0400
Subject: [PATCH] Clean up after pg_dump test runs.

The tmp_check directory needs to be removed by "make clean",
and also ignored by .gitignore.
---
 src/bin/pg_dump/.gitignore | 2 ++
 src/bin/pg_dump/Makefile   | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/bin/pg_dump/.gitignore b/src/bin/pg_dump/.gitignore
index ae4cf3ce42..e6d7812779 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 9a96361aa3..25336a5f25 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