diff options
| author | Bruce Momjian <bruce@momjian.us> | 2003-09-28 00:22:58 +0000 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2003-09-28 00:22:58 +0000 |
| commit | b4ca39b9569b04ce1d8e14973d7a9e638bb06023 (patch) | |
| tree | 0f52989a2301cc967c2f80ef6c22000d13ca5c44 /src | |
| parent | 44f8c5c10aa3314fd88c63fac45807130e64110b (diff) | |
| download | postgresql-b4ca39b9569b04ce1d8e14973d7a9e638bb06023.tar.gz postgresql-b4ca39b9569b04ce1d8e14973d7a9e638bb06023.zip | |
Allow pgindent to work with newer BSD indents.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/pgindent/README | 2 | ||||
| -rwxr-xr-x | src/tools/pgindent/pgindent | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README index 99985227e5d..626273360a9 100644 --- a/src/tools/pgindent/README +++ b/src/tools/pgindent/README @@ -23,7 +23,7 @@ for the second bug in: /src/tools/pgindent/indent.bsd.patch Even with the workaround, installation of the patch produces better -output. +output. You can get a patched BSD indent from ftp://ftp.postgresql.org/pub/dev. GNU indent, version 2.2.6, has several problems, and is not recommended. These bugs become pretty major when you are doing >400k lines of code. diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index f7c7b1e1251..9a467067ed1 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -14,7 +14,7 @@ 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 -? </dev/null >/dev/null 2>&1 if [ "$?" -ne 1 ] then echo "You do not appear to have 'indent' installed on your system." >&2 exit 1 |