diff options
Diffstat (limited to 'gdb/gdb_indent.sh')
| -rwxr-xr-x | gdb/gdb_indent.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gdb/gdb_indent.sh b/gdb/gdb_indent.sh index b21016107ad..555098c1081 100755 --- a/gdb/gdb_indent.sh +++ b/gdb/gdb_indent.sh @@ -75,8 +75,6 @@ types="\ -T FILE \ -T bfd -T asection -T pid_t \ -T prgregset_t -T fpregset_t -T gregset_t -T sigset_t \ --T td_thrhandle_t -T td_event_msg_t -T td_thr_events_t \ --T td_notify_t -T td_thr_iter_f -T td_thrinfo_t \ `cat *.h | sed -n \ -e 's/^.*[^a-z0-9_]\([a-z0-9_]*_ftype\).*$/-T \1/p' \ -e 's/^.*[^a-z0-9_]\([a-z0-9_]*_func\).*$/-T \1/p' \ |