diff options
Diffstat (limited to 'dist/s_typedef')
| -rwxr-xr-x | dist/s_typedef | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dist/s_typedef b/dist/s_typedef index 233f432f0e5..b044a0e6b4b 100755 --- a/dist/s_typedef +++ b/dist/s_typedef @@ -44,7 +44,7 @@ build() { check() { # Complain about unused #typedefs. # List of files to search. - l=`sed -e 's,#.*,,' -e '/^$/d' -e 's,^,../,' filelist` + l=`sed -e '/^[a-z]/!d' -e 's/[ ].*$//' -e 's,^,../,' filelist` l="$l `echo ../src/utilities/*.c`" ( |