Use $INDENT instead of `which` to find the indent binary

Per discussion after my commit o yesterday.

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 1a76feacdd6a75c4be7b70d834946b9fbd76fbee..05f69ef1f3a84e92c34fcd2db5a400c4a7472664 100755 (executable)
--- a/src/tools/pgindent/pgindent
+++ b/src/tools/pgindent/pgindent
@@ -21,7 +21,10 @@ fi
 TYPEDEFS="$1"
 shift
 
-INDENT=`which indent`
+if [ -z "$INDENT" ]
+then
+       INDENT=indent
+fi
 
 trap "rm -f /tmp/$$ /tmp/$$a" 0 1 2 3 15
 entab </dev/null >/dev/null