From: Bruce Momjian <bruce@momjian.us>
Date: Sun, 28 Sep 2003 00:22:58 +0000 (+0000)
Subject: Allow pgindent to work with newer BSD indents.
X-Git-Tag: REL7_4_BETA4~51
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b4ca39b9569b04ce1d8e14973d7a9e638bb06023;p=postgresql

Allow pgindent to work with newer BSD indents.
---

diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README
index 99985227e5..626273360a 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 f7c7b1e125..9a467067ed 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