diff options
| author | Michael Paquier <michael@paquier.xyz> | 2023-12-31 18:06:56 +0900 |
|---|---|---|
| committer | Michael Paquier <michael@paquier.xyz> | 2023-12-31 18:06:56 +0900 |
| commit | a99009a9a32c2b0edd7b6632c37bc2fb6c4f594e (patch) | |
| tree | de4921647334c404e6c481701bfc8c51a61712ce | |
| parent | cb44a8345e7c248cf4158f2702fd9c9358399cfb (diff) | |
| download | postgresql-a99009a9a32c2b0edd7b6632c37bc2fb6c4f594e.tar.gz postgresql-a99009a9a32c2b0edd7b6632c37bc2fb6c4f594e.zip | |
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
| -rw-r--r-- | src/tools/pgindent/exclude_file_patterns | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/tools/pgindent/exclude_file_patterns b/src/tools/pgindent/exclude_file_patterns index 6405a005118..99e57f93bbc 100644 --- a/src/tools/pgindent/exclude_file_patterns +++ b/src/tools/pgindent/exclude_file_patterns @@ -12,6 +12,12 @@ src/include/jit/llvmjit\.h$ src/backend/nodes/\w+\.funcs\.c$ src/backend/nodes/\w+\.switch\.c$ # +# These are generated by generate-wait_event_types.pl, whose format +# looks worse with pgindent. +src/backend/utils/activity/pgstat_wait_event\.c$ +src/backend/utils/activity/wait_event_funcs_data\.c$ +src/backend/utils/activity/wait_event_types\.h$ +# # This confuses pgindent, and it's a derived file anyway. src/backend/utils/fmgrtab\.c$ # |