Exclude files generated by generate-wait_event_types.pl from pgindent

Michael Paquier <michael@paquier.xyz>

Commit: a99009a9a32c2b0edd7b6632c37bc2fb6c4f594e
Author: Michael Paquier <michael@paquier.xyz>
Date: 2023-12-31T09:06:56Z
Releases: 17.0
Exclude files generated by generate-wait_event_types.pl from pgindent

The format of these files becomes arguably worse after being indented,
and, as they are generated, there is no point in applying an indentation
anyway.

Author: Bharath Rupireddy
Discussion: https://postgr.es/m/CALj2ACW2JUocmieuR3n9AXL4iSsHcL1LmNkiukuFRUvKNMoiKg@mail.gmail.com

Files

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

Discussion