diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bin/pg_dump/.gitignore | 2 | ||||
| -rw-r--r-- | src/bin/pg_dump/Makefile | 1 |
2 files changed, 3 insertions, 0 deletions
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 |