diff options
Diffstat (limited to 'gdb/gdb_indent.sh')
| -rwxr-xr-x | gdb/gdb_indent.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gdb/gdb_indent.sh b/gdb/gdb_indent.sh index 1e727fe2309..0d0829a4a13 100755 --- a/gdb/gdb_indent.sh +++ b/gdb/gdb_indent.sh @@ -54,7 +54,10 @@ esac # Run indent per GDB specs -types="-T FILE `cat *.h | sed -n \ +types="\ +-T FILE \ +-T prgregset_t -T fpregset_t -T gregset_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' \ -e 's/^typedef.*[^a-zA-Z0-9_]\([a-zA-Z0-9_]*[a-zA-Z0-9_]\);$/-T \1/p' \ |