diff options
| author | Bruce Momjian | 2014-01-31 18:35:50 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2014-01-31 18:35:50 +0000 |
| commit | cad1e022b265be8f2526cd82e5d2f8da3ba9f613 (patch) | |
| tree | 566afcadfe30241563904458f72732e20859d982 /src/tools/pgindent | |
| parent | a87ae38be844a140786bf2fb3f3f8a094d51fa26 (diff) | |
pgindent: add --list-of-typedefs option
Allows typedefs to be specified on the command line, per request from
Andrew.
Diffstat (limited to 'src/tools/pgindent')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 8e45b18a9a..2de7a5384d 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -22,10 +22,11 @@ my $indent_opts = # indent-dependant settings my $extra_opts = ""; -my ($typedefs_file, $code_base, $excludes, $indent, $build); +my ($typedefs_file, $typedef_str, $code_base, $excludes, $indent, $build); my %options = ( "typedefs=s" => \$typedefs_file, + "list-of-typedefs=s" => \$typedef_str, "code-base=s" => \$code_base, "excludes=s" => \$excludes, "indent=s" => \$indent, @@ -125,6 +126,13 @@ sub load_typedefs || die "cannot open typedefs file \"$typedefs_file\": $!\n"; my @typedefs = <$typedefs_fh>; close($typedefs_fh); + if (defined($typedef_str)) + { + foreach my $typedef (split(m/[, \t\n]+/, $typedef_str)) + { + push(@typedefs, $typedef . "\n"); + } + } # remove certain entries @typedefs = |
