diff options
| author | Peter Eisentraut | 2018-10-29 10:39:44 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2018-10-29 10:39:44 +0000 |
| commit | a9e5f8e7810b46113c5322155411198484695dba (patch) | |
| tree | ae4cd460138280df6b161c47d701b39fa38f79c0 | |
| parent | 2fe42baf7c1ad96b5f9eb898161e258315298351 (diff) | |
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.
| -rw-r--r-- | src/tools/pgindent/exclude_file_patterns | 2 |
1 files changed, 2 insertions, 0 deletions
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/ |