diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 56e95f48dc8..ce72883fd8c 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -37,7 +37,7 @@ run_build($code_base) if ($build); # command line option wins, then first non-option arg, # then environment (which is how --build sets it) , # then locations. based on current dir, then default location -$typedefs_file ||= shift if @ARGV && $ARGV[0] !~ /\\.[ch]$/; +$typedefs_file ||= shift if @ARGV && $ARGV[0] !~ /\.[ch]$/; $typedefs_file ||= $ENV{PGTYPEDEFS}; # build mode sets PGINDENT and PGENTAB |