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