From f008976bcdd7abda168436166f72d0d7ff0c6acc Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Sat, 3 Nov 2001 12:34:15 +0000 Subject: [PATCH] More updates for GNU indent. --- src/tools/pgindent/README | 4 ++-- src/tools/pgindent/pgindent | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README index 18fe4b27ee..c3ef00ad1f 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 c79b0706b3..5a644aaa36 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 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 -- 2.11.0