empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

No need to pass -nsob, it's implied by -kr.

Browse source
This commit is contained in:
Markus Armbruster 2004-02-06 23:30:47 +00:00
parent 0696bb190d
commit ef042a754d
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/scripts/indent-emp
View file

@ -3,12 +3,13 @@
# indent needs to know type names do to a proper job. # indent needs to know type names do to a proper job.
# Type names located with grep typedef, then extracted by hand: # Type names located with grep typedef, then extracted by hand:
types="bit_fdmask bit_mask caddr_t coord ef_fileinit emp_sig_t empth_sem_t empth_t intp iop_t iovec_t loc_Sem_t loc_Thread_t natid plate_e pointer qsort_func_t s_char stkalign_t u_char u_int u_short vf_ptr voidfunc" types="bit_fdmask bit_mask caddr_t coord ef_fileinit emp_sig_t empth_sem_t empth_t intp iop_t iovec_t loc_Sem_t loc_Thread_t natid plate_e pointer qsort_func_t s_char stkalign_t u_char u_int u_short vf_ptr voidfunc"
opts="-kr -cdw -cp8 -ncs -psl -nsob -ss"
opts="-kr -cdw -cp8 -ncs -psl -ss"
for t in $types for t in $types
do opts="$opts -T $t" do opts="$opts -T $t"
done done
# Quote The indent Manual, Edition 2.2.8, section Bugs: # Quote `The `indent' Manual', Edition 2.2.8, section Bugs:
# #
# Comments of the form /*UPPERCASE*/ are not treated as comment but # Comments of the form /*UPPERCASE*/ are not treated as comment but
# as an identifier, causing them to be joined with the next # as an identifier, causing them to be joined with the next