diff options
| -rw-r--r-- | src/bin/pg_upgrade/.gitignore | 4 | ||||
| -rw-r--r-- | src/bin/pg_upgrade/Makefile | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/bin/pg_upgrade/.gitignore b/src/bin/pg_upgrade/.gitignore index 05200a09f14..a66166ea0fa 100644 --- a/src/bin/pg_upgrade/.gitignore +++ b/src/bin/pg_upgrade/.gitignore @@ -1,4 +1,8 @@ /pg_upgrade +# Generated by manual invocation +/delete_old_cluster.sh +/delete_old_cluster.bat +/reindex_hash.sql # Generated by test suite /log/ /tmp_check/ diff --git a/src/bin/pg_upgrade/Makefile b/src/bin/pg_upgrade/Makefile index 80ebe9bd174..587793e815b 100644 --- a/src/bin/pg_upgrade/Makefile +++ b/src/bin/pg_upgrade/Makefile @@ -48,7 +48,8 @@ uninstall: clean distclean maintainer-clean: rm -f pg_upgrade$(X) $(OBJS) - rm -rf log/ tmp_check/ + rm -rf delete_old_cluster.sh log/ tmp_check/ \ + reindex_hash.sql check: $(prove_check) |