projects
/
postgresql.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
bc76695
)
Use $INDENT instead of `which` to find the indent binary
author
Alvaro Herrera
Fri, 18 Feb 2011 15:47:48 +0000
(12:47 -0300)
committer
Alvaro Herrera
Fri, 18 Feb 2011 15:49:16 +0000
(12:49 -0300)
Per discussion after my commit o yesterday.
src/tools/pgindent/pgindent
patch
|
blob
|
blame
|
history
diff --git
a/src/tools/pgindent/pgindent
b/src/tools/pgindent/pgindent
index 1a76feacdd6a75c4be7b70d834946b9fbd76fbee..05f69ef1f3a84e92c34fcd2db5a400c4a7472664 100755
(executable)
--- 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