diff options
Diffstat (limited to 'src/tools/pgindent/exclude_file_patterns')
| -rw-r--r-- | src/tools/pgindent/exclude_file_patterns | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/pgindent/exclude_file_patterns b/src/tools/pgindent/exclude_file_patterns index c8efc9a9131..a8f1a92f4b3 100644 --- a/src/tools/pgindent/exclude_file_patterns +++ b/src/tools/pgindent/exclude_file_patterns @@ -6,5 +6,6 @@ /snowball/libstemmer/ /pl/plperl/ppport\.h$ /jit/llvmjit\.h$ +/utils/probes\.h$ /tmp_check/ /tmp_install/ |