1
0
mirror of https://github.com/postgres/postgres.git synced 2025-07-26 01:22:12 +03:00

Make pgindent gnu test better.

This commit is contained in:
Bruce Momjian
1999-09-09 19:39:06 +00:00
parent 5bc0d31ae8
commit c1d5e88b41
2 changed files with 4 additions and 3 deletions

View File

@ -8,8 +8,8 @@ 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 -st -npro </dev/null >/dev/null 2>&1
if [ "$?" -ne 0 ]
indent --version </dev/null >/dev/null 2>&1
if [ "$?" -eq 0 ]
then echo "You do not appear to have 'indent' installed on your system." >&2
exit 1
fi