From a5dfc94c9a2e6c0c7e0ed97d22ebff37cf7d9038 Mon Sep 17 00:00:00 2001
From: Alvaro Herrera <alvherre@alvh.no-ip.org>
Date: Fri, 18 Feb 2011 12:47:48 -0300
Subject: [PATCH] Use $INDENT instead of `which` to find the indent binary

Per discussion after my commit o yesterday.
---
 src/tools/pgindent/pgindent | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent
index 1a76feacdd..05f69ef1f3 100755
--- 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