21
21
TYPEDEFS=" $1 "
22
22
shift
23
23
24
+ INDENT=` which indent`
25
+
24
26
trap " rm -f /tmp/$$ /tmp/$$ a" 0 1 2 3 15
25
27
entab< /dev/null> /dev/null
26
28
if [" $? " -ne 0 ]
@@ -29,12 +31,12 @@ thenecho "Go to the src/tools/entab directory and do a 'make' and 'make install
29
31
echo " Then run$0 again."
30
32
exit 1
31
33
fi
32
- indent -? < /dev/null> /dev/null2>&1
34
+ $INDENT -? < /dev/null> /dev/null2>&1
33
35
if [" $? " -ne 1 ]
34
36
then echo " You do not appear to have 'indent' installed on your system." >&2
35
37
exit 1
36
38
fi
37
- indent -gnu< /dev/null> /dev/null2>&1
39
+ $INDENT -gnu< /dev/null> /dev/null2>&1
38
40
if [" $? " -eq 0 ]
39
41
then echo " You appear to have GNU indent rather than BSD indent." >&2
40
42
echo " See the pgindent/README file for a description of its problems." >&2
136
138
sed' s;^CATALOG(.*$;/*&*/;' > /tmp/$$ a
137
139
138
140
# 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 \
140
142
-lp -nip -npro -bbb$EXTRA_OPTS \
141
143
` egrep -v' ^(FD_SET|date|interval|timestamp|ANY)$' " $TYPEDEFS " | sed -e' /^$/d' -e' s/.*/-T& /' ` \
142
144
/tmp/$$ a> /tmp/$$ 2>&1