diff options
| author | Bruce Momjian <bruce@momjian.us> | 2001-11-03 01:49:22 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2001-11-03 01:49:22 +0000 |
| commit | ffba91cd1e62d07f1b1a73075a37f2d0281a2e52 (patch) | |
| tree | dc04abe1976e8f54eb926b458da9ce44a53dc632 /src | |
| parent | 355cc69dfce59c417b24ce9957824dfb565bc0f7 (diff) | |
| download | postgresql-ffba91cd1e62d07f1b1a73075a37f2d0281a2e52.tar.gz postgresql-ffba91cd1e62d07f1b1a73075a37f2d0281a2e52.zip | |
Make pgindent use GNU Indent version 2.X better.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 82d537e2dfd..c79b0706b30 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -14,18 +14,18 @@ then echo "Go to the src/tools/entab directory and do a 'make' and 'make install echo "Then run $0 again." exit 1 fi -indent --version </dev/null >/dev/null 2>&1 +indent -version </dev/null >/dev/null 2>&1 if [ "$?" -eq 0 ] then echo "You do not appear to have 'indent' installed on your system." >&2 exit 1 fi -indent -version -npro </dev/null >/dev/null 2>&1 +indent -gnu </dev/null >/dev/null 2>&1 if [ "$?" -eq 0 ] 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" + EXTRA_OPTS="-cdb -bli0 -npcs -cli4 -sc" else echo "Hope you installed /src/tools/pgindent/indent.bsd.patch." >&2 - EXTRA_OPTS="-bbb -cli1" + EXTRA_OPTS="-cli1" fi for FILE @@ -67,7 +67,7 @@ do # We get the list of typedef's from /src/tools/find_typedef indent -bad -bap -bc -bl -d0 -cdb -nce -nfc1 -di12 -i4 -l75 \ - -lp -nip -npro $EXTRA_OPTS \ + -lp -nip -npro -bbb $EXTRA_OPTS \ -TA_Const \ -TA_Expr \ -TA_Indices \ |