3 # indent needs to know type names do to a proper job.
4 # Type names located with grep typedef, then extracted by hand:
5 types="coord empth_sem_t empth_t i_packing i_type loc_Sem_t loc_Thread_t natid ns_seltype nsc_cat nsc_flags nsc_type packed_nsc_cat packed_nsc_type s_char stkalign_t"
7 opts="-kr -cdw -cp8 -ncs -psl -ss"
12 # Quote `The `indent' Manual', Edition 2.2.8, section Bugs:
14 # Comments of the form /*UPPERCASE*/ are not treated as comment but
15 # as an identifier, causing them to be joined with the next
16 # line. This renders comments of this type useless, unless they are
17 # embedded in the code to begin with.
19 # Therefore, we have to pre- and postprocess with sed. Without this
20 # bug, a simple find | xargs indent would do.
22 for i in `find -name \*.[ch]`
24 if sed 's#/\*\([A-Z][A-Z]*\)\*/#/* @@@\1@@@ */#g' <$i | indent $opts | sed 's#/\* @@@\([A-Z][A-Z]*\)@@@ \*/#/*\1*/#g' >$$
26 else rm -f $i; exit 1;