diff options
Diffstat (limited to 'gdb/features')
| -rw-r--r-- | gdb/features/library-list.dtd | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gdb/features/library-list.dtd b/gdb/features/library-list.dtd index c63048a..62a9baf 100644 --- a/gdb/features/library-list.dtd +++ b/gdb/features/library-list.dtd @@ -8,8 +8,11 @@ <!ELEMENT library-list (library)*> <!ATTLIST library-list version CDATA #FIXED "1.0"> -<!ELEMENT library (segment)*> +<!ELEMENT library (segment*, section*)> <!ATTLIST library name CDATA #REQUIRED> <!ELEMENT segment EMPTY> <!ATTLIST segment address CDATA #REQUIRED> + +<!ELEMENT section EMPTY> +<!ATTLIST section address CDATA #REQUIRED> |