aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBruce Momjian <bruce@momjian.us>2001-11-03 12:34:15 +0000
committerBruce Momjian <bruce@momjian.us>2001-11-03 12:34:15 +0000
commitf008976bcdd7abda168436166f72d0d7ff0c6acc (patch)
tree49a9ab125d02a4dc0eab24f4556deab63b466c69
parent58df3f785e0b66294c4a30c073cd206932711071 (diff)
downloadpostgresql-f008976bcdd7abda168436166f72d0d7ff0c6acc.tar.gz
postgresql-f008976bcdd7abda168436166f72d0d7ff0c6acc.zip
More updates for GNU indent.
-rw-r--r--src/tools/pgindent/README4
-rwxr-xr-xsrc/tools/pgindent/pgindent2
2 files changed, 3 insertions, 3 deletions
diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README
index 18fe4b27ee7..c3ef00ad1fc 100644
--- a/src/tools/pgindent/README
+++ b/src/tools/pgindent/README
@@ -17,8 +17,8 @@ for the second bug in:
Even with the workaround, installation of the patch produces better
output.
-GNU indent, version 1.9.1, has several bugs, and is not recommended.
-These bugs become pretty major when you are doing >200k lines of code.
+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.
If you don't believe me, take a directory and make a copy. Run pgindent
on the copy using GNU indent, and do a diff -r. You will see what I
mean. GNU indent does some things better, but mangles too.
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index c79b0706b30..5a644aaa369 100755
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -15,7 +15,7 @@ then echo "Go to the src/tools/entab directory and do a 'make' and 'make install
exit 1
fi
indent -version </dev/null >/dev/null 2>&1
-if [ "$?" -eq 0 ]
+if [ "$?" -ne 1 ]
then echo "You do not appear to have 'indent' installed on your system." >&2
exit 1
fi