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

Update indent-emp for removed typedef names, belatedly.

Browse source
This commit is contained in:
Markus Armbruster 2008-03-05 06:10:54 +01:00
parent 06a0036c63
commit d1d0b0a414
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/scripts/indent-emp
View file

@ -2,7 +2,7 @@
# 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="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 stkalign_t" types="coord empth_rwlock_t empth_t i_type"
opts="-kr -cdw -cp8 -ncs -psl -ss" opts="-kr -cdw -cp8 -ncs -psl -ss"
for t in $types for t in $types