diff options
| author | Daniel Jacobowitz <drow@false.org> | 2007-06-13 19:22:35 +0000 |
|---|---|---|
| committer | Daniel Jacobowitz <drow@false.org> | 2007-06-13 19:22:35 +0000 |
| commit | 1780a0edf4903787581db60d46e216acc7c70b37 (patch) | |
| tree | 674619ab329cb7d68bf0ec978b4077b9ded52306 /gdb/features | |
| parent | 98a29c7e2e0b8c73f829745cd802537f839cdbda (diff) | |
| download | gdb-1780a0edf4903787581db60d46e216acc7c70b37.zip gdb-1780a0edf4903787581db60d46e216acc7c70b37.tar.gz gdb-1780a0edf4903787581db60d46e216acc7c70b37.tar.bz2 | |
* gdb.texinfo (Target Description Format): Add version attribute
for <target>.
* xml-tdesc.c (tdesc_start_target): New.
(target_attributes): New.
(tdesc_elements): Use it.
* features/gdb-target.dtd: Add #FIXED version attribute for
<target>.
Diffstat (limited to 'gdb/features')
| -rw-r--r-- | gdb/features/gdb-target.dtd | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gdb/features/gdb-target.dtd b/gdb/features/gdb-target.dtd index b05e063..8ff10fc 100644 --- a/gdb/features/gdb-target.dtd +++ b/gdb/features/gdb-target.dtd @@ -7,6 +7,8 @@ <!-- The root element of a GDB target description is <target>. --> <!ELEMENT target (architecture?, feature*)> +<!ATTLIST target + version CDATA #FIXED "1.0"> <!ELEMENT architecture (#PCDATA)> |