Use $INDENT instead of which to find the indent binary

alvherre · alvherre · commit a5dfc94c9a2e · 2011-02-18T12:49:16.000-03:00
Per discussion after my commit o yesterday.
diff --git 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
