mirror of
https://github.com/postgres/postgres.git
synced 2025-06-23 14:01:44 +03:00
Allow pgindent to work with newer BSD indents.
This commit is contained in:
@ -23,7 +23,7 @@ for the second bug in:
|
|||||||
/src/tools/pgindent/indent.bsd.patch
|
/src/tools/pgindent/indent.bsd.patch
|
||||||
|
|
||||||
Even with the workaround, installation of the patch produces better
|
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.
|
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.
|
These bugs become pretty major when you are doing >400k lines of code.
|
||||||
|
@ -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."
|
echo "Then run $0 again."
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
indent -version </dev/null >/dev/null 2>&1
|
indent -? </dev/null >/dev/null 2>&1
|
||||||
if [ "$?" -ne 1 ]
|
if [ "$?" -ne 1 ]
|
||||||
then echo "You do not appear to have 'indent' installed on your system." >&2
|
then echo "You do not appear to have 'indent' installed on your system." >&2
|
||||||
exit 1
|
exit 1
|
||||||
|
Reference in New Issue
Block a user