2121TYPEDEFS=" $1 "
2222shift
2323
24+ INDENT=` which indent`
25+
2426trap " rm -f /tmp/$$ /tmp/$$ a" 0 1 2 3 15
2527entab< /dev/null> /dev/null
2628if [" $? " -ne 0 ]
@@ -29,12 +31,12 @@ thenecho "Go to the src/tools/entab directory and do a 'make' and 'make install
2931echo " Then run$0 again."
3032exit 1
3133fi
32- indent -? < /dev/null> /dev/null2>&1
34+ $INDENT -? < /dev/null> /dev/null2>&1
3335if [" $? " -ne 1 ]
3436then echo " You do not appear to have 'indent' installed on your system." >&2
3537exit 1
3638fi
37- indent -gnu< /dev/null> /dev/null2>&1
39+ $INDENT -gnu< /dev/null> /dev/null2>&1
3840if [" $? " -eq 0 ]
3941then echo " You appear to have GNU indent rather than BSD indent." >&2
4042echo " See the pgindent/README file for a description of its problems." >&2
136138sed' s;^CATALOG(.*$;/*&*/;' > /tmp/$$ a
137139
138140# We get the list of typedef's from /src/tools/find_typedef
139- indent -bad -bap -bc -bl -d0 -cdb -nce -nfc1 -di12 -i4 -l79 \
141+ $INDENT -bad -bap -bc -bl -d0 -cdb -nce -nfc1 -di12 -i4 -l79 \
140142-lp -nip -npro -bbb$EXTRA_OPTS \
141143` egrep -v' ^(FD_SET|date|interval|timestamp|ANY)$' " $TYPEDEFS " | sed -e' /^$/d' -e' s/.*/-T& /' ` \
142144/tmp/$$ a> /tmp/$$ 2>&1