Exclude temporary directories from pgindent

Peter Eisentraut <peter_e@gmx.net>

Commit: a9e5f8e7810b46113c5322155411198484695dba
Author: Peter Eisentraut <peter_e@gmx.net>
Date: 2018-10-29T10:39:44Z
Releases: 12.0
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.

Files

PathChange+/−
src/tools/pgindent/exclude_file_patterns modified +2 −0