Make pgindent use GNU Indent version 2.X better.

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 82d537e2dfd25de7e7b403aacbc24958e9ece23d..c79b0706b30309ee31f487f054ce829afc9e2a35 100755 (executable)
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -14,18 +14,18 @@ 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 2>&1
+indent -version /dev/null 2>&1
 if [ "$?" -eq 0 ]
 then   echo "You do not appear to have 'indent' installed on your system." >&2
    exit 1
 fi
-indent -version -npro /dev/null 2>&1
+indent -gnu /dev/null 2>&1
 if [ "$?" -eq 0 ]
 then   echo "You appear to have GNU indent rather than BSD indent." >&2
    echo "See the pgindent/README file for a description of its problems." >&2
-   EXTRA_OPTS="-ncdb -bli0 -npcs -cli4"
+   EXTRA_OPTS="-cdb -bli0 -npcs -cli4 -sc"
 else   echo "Hope you installed /src/tools/pgindent/indent.bsd.patch." >&2
-   EXTRA_OPTS="-bbb -cli1"
+   EXTRA_OPTS="-cli1"
 fi
 
 for FILE
@@ -67,7 +67,7 @@ do
 
 # We get the list of typedef's from /src/tools/find_typedef
    indent -bad -bap -bc -bl -d0 -cdb -nce -nfc1 -di12 -i4 -l75 \
-       -lp -nip -npro $EXTRA_OPTS \
+       -lp -nip -npro -bbb $EXTRA_OPTS \
 -TA_Const \
 -TA_Expr \
 -TA_Indices \