Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to content

Commit f008976

Browse files
committed
More updates for GNU indent.
1 parent 58df3f7 commit f008976

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

src/tools/pgindent/README

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,8 @@ for the second bug in:
1717
Even with the workaround, installation of the patch produces better
1818
output.
1919

20-
GNU indent, version 1.9.1, has several bugs, and is not recommended.
21-
These bugs become pretty major when you are doing >200k lines of code.
20+
GNU indent, version 2.2.6, has several problems, and is not recommended.
21+
These bugs become pretty major when you are doing >400k lines of code.
2222
If you don't believe me, take a directory and make a copy. Run pgindent
2323
on the copy using GNU indent, and do a diff -r. You will see what I
2424
mean. GNU indent does some things better, but mangles too.

src/tools/pgindent/pgindent

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -15,7 +15,7 @@ then echo "Go to the src/tools/entab directory and do a 'make' and 'make install
1515
exit 1
1616
fi
1717
indent -version </dev/null >/dev/null 2>&1
18-
if [ "$?" -eq 0 ]
18+
if [ "$?" -ne 1 ]
1919
then echo "You do not appear to have 'indent' installed on your system." >&2
2020
exit 1
2121
fi

0 commit comments

Comments
 (0)