From: Alvaro Herrera <alvherre@alvh.no-ip.org>
Date: Fri, 18 Feb 2011 15:47:48 +0000 (-0300)
Subject: Use $INDENT instead of `which` to find the indent binary
X-Git-Tag: REL9_1_ALPHA4~139
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a5dfc94c9a2e6c0c7e0ed97d22ebff37cf7d9038;p=postgresql

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 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