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

Per discussion after my commit o yesterday.

Use $INDENT instead of `which` to find the indent binary
Per discussion after my commit o yesterday.
a5dfc94c · Alvaro Herrera · bc76695c · a5dfc94c
Commit a5dfc94c authored Feb 18, 2011 by Alvaro Herrera
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 1 deletion

src/tools/pgindent/pgindent src/tools/pgindent/pgindent +4 -1

No files found.
--- 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