diff options
| author | Bruce Momjian | 1999-09-09 19:39:06 +0000 |
|---|---|---|
| committer | Bruce Momjian | 1999-09-09 19:39:06 +0000 |
| commit | c1d5e88b41047d58632e487d9c8a1d9b6421049f (patch) | |
| tree | 220296f476cb2d889297593758393a031265d3a0 /src/tools/pgindent | |
| parent | 5bc0d31ae8c84fc43210c66338c5e2f492b52e6b (diff) | |
Make pgindent gnu test better.
Diffstat (limited to 'src/tools/pgindent')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index ef5fde701a2..06802edbee1 100755 --- a/src/tools/pgindent/pgindent +++ b/src/tools/pgindent/pgindent @@ -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 |