diff options
| author | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2011-02-18 12:47:48 -0300 |
|---|---|---|
| committer | Alvaro Herrera <alvherre@alvh.no-ip.org> | 2011-02-18 12:49:16 -0300 |
| commit | a5dfc94c9a2e6c0c7e0ed97d22ebff37cf7d9038 (patch) | |
| tree | d3ae1d49952b5a138562fb33b8375733447610d3 /src | |
| parent | bc76695c4c44e21aed94ee2bea81c4cdcedf1390 (diff) | |
| download | postgresql-a5dfc94c9a2e6c0c7e0ed97d22ebff37cf7d9038.tar.gz postgresql-a5dfc94c9a2e6c0c7e0ed97d22ebff37cf7d9038.zip | |
Use $INDENT instead of `which` to find the indent binary
Per discussion after my commit o yesterday.
Diffstat (limited to 'src')
| -rwxr-xr-x | src/tools/pgindent/pgindent | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/tools/pgindent/pgindent b/src/tools/pgindent/pgindent index 1a76feacdd6..05f69ef1f3a 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 |