From: Peter Eisentraut <peter_e@gmx.net>
Date: Mon, 29 Oct 2018 10:39:44 +0000 (+0100)
Subject: Exclude temporary directories from pgindent
X-Git-Tag: REL_12_BETA1~1338
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a9e5f8e7810b46113c5322155411198484695dba;p=postgresql

Exclude temporary directories from pgindent

Exclude tmp_check and tmp_install from pgindent.  In a fully-built
tree, pgindent would spend a lot of time digging through these
directories and ends up re-indenting installed header files.
---

diff --git a/src/tools/pgindent/exclude_file_patterns b/src/tools/pgindent/exclude_file_patterns
index 65c42c131d..c8efc9a913 100644
--- a/src/tools/pgindent/exclude_file_patterns
+++ b/src/tools/pgindent/exclude_file_patterns
@@ -6,3 +6,5 @@
 /snowball/libstemmer/
 /pl/plperl/ppport\.h$
 /jit/llvmjit\.h$
+/tmp_check/
+/tmp_install/