More updates for GNU indent.

diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README
index 18fe4b27ee70905d4f2ecaba8a29f148a76bbc0e..c3ef00ad1fce33d8961a846018cb05ee0a12290b 100644 (file)
--- 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 c79b0706b30309ee31f487f054ce829afc9e2a35..5a644aaa369df3ca832750d052e37cf79ebd698e 100755 (executable)
--- 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