diff options
| author | Jeremy Huddleston <jeremyhu@apple.com> | 2012-03-23 18:33:59 -0700 |
|---|---|---|
| committer | Jeremy Huddleston <jeremyhu@apple.com> | 2012-03-23 18:33:59 -0700 |
| commit | c513ed3a6e0e3223d471d813fb56c31573af326b (patch) | |
| tree | 11614ded21d0f8846a24db6129d522be1eb5e198 | |
| parent | ea4c1a71bc5fc05026badb7d7ce1e560a5b3d1b5 (diff) | |
x-indent: Prefer GNU Indent on BSDs
Signed-off-by: Jeremy Huddleston <jeremyhu@apple.com>
| -rwxr-xr-x | x-indent.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/x-indent.sh b/x-indent.sh index bebe4e7..fe0d7e6 100755 --- a/x-indent.sh +++ b/x-indent.sh @@ -1,5 +1,15 @@ #!/bin/sh -indent -linux -bad -bap -blf -bli0 -cbi0 -cdw -nce -cs -i4 -lc80 -psl -nbbo \ + +# We want GNU indent, so first search for gindent to avoid /usr/bin/indent +# on the BSDs, which won't work for us +INDENT=`which gnuindent || which gindent || which indent` + +if [ -z "${INDENT}" ] ; then + echo "Could not find indent, sorry..." >&2 + exit 1 +fi + +$INDENT -linux -bad -bap -blf -bli0 -cbi0 -cdw -nce -cs -i4 -lc80 -psl -nbbo \ -nbc -psl -nbfda -nut -nss -T pointer -T ScreenPtr -T ScrnInfoPtr -T pointer \ -T DeviceIntPtr -T DevicePtr -T ClientPtr -T CallbackListPtr \ -T CallbackProcPtr -T OsTimerPtr -T CARD32 -T CARD16 -T CARD8 \ |