diff options
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 2de7a5384d3..8633c62c5ad 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -126,6 +126,8 @@ sub load_typedefs || die "cannot open typedefs file \"$typedefs_file\": $!\n"; my @typedefs = <$typedefs_fh>; close($typedefs_fh); + + # add command-line-supplied typedefs? if (defined($typedef_str)) { foreach my $typedef (split(m/[, \t\n]+/, $typedef_str)) |