diff options
| author | Bruce Momjian | 2001-05-17 15:55:24 +0000 |
|---|---|---|
| committer | Bruce Momjian | 2001-05-17 15:55:24 +0000 |
| commit | 2d7795ebb4bd50ec668b221f532fb9aea3352ebc (patch) | |
| tree | 79369cc9a0639bf330e62e643897f04d10478aa4 /src/tools | |
| parent | e044fc0599bc48d3ca86aba9bed47ee7cf6f6802 (diff) | |
Prevent forced blank line before comment block in pgindent.
Diffstat (limited to 'src/tools')
| -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 74f1b310ed..3318b3fb8f 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -19,7 +19,7 @@ then echo "You appear to have GNU indent rather than BSD indent." >&2 echo "See the pgindent/README file for a description of its problems." >&2 EXTRA_OPTS="-ncdb -bli0 -npcs -cli4" else echo "Hope you installed /src/tools/pgindent/indent.bsd.patch." >&2 - EXTRA_OPTS="-bbb -cli1" + EXTRA_OPTS="-cli1" fi for FILE |