From d1d0b0a414c28c82548af88780417d86f40479a7 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Wed, 5 Mar 2008 06:10:54 +0100 Subject: [PATCH] Update indent-emp for removed typedef names, belatedly. --- src/scripts/indent-emp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripts/indent-emp b/src/scripts/indent-emp index 6ee55730..366e20c5 100755 --- a/src/scripts/indent-emp +++ b/src/scripts/indent-emp @@ -2,7 +2,7 @@ # indent needs to know type names do to a proper job. # 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" for t in $types