diff options
Diffstat (limited to 'gdb/features/btrace.dtd')
| -rw-r--r-- | gdb/features/btrace.dtd | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gdb/features/btrace.dtd b/gdb/features/btrace.dtd new file mode 100644 index 00000000000..6fe0cd661f1 --- /dev/null +++ b/gdb/features/btrace.dtd @@ -0,0 +1,12 @@ +<!-- Copyright (C) 2013 Free Software Foundation, Inc. + + Copying and distribution of this file, with or without modification, + are permitted in any medium without royalty provided the copyright + notice and this notice are preserved. --> + +<!ELEMENT btrace (block)* > +<!ATTLIST btrace version CDATA #FIXED "1.0"> + +<!ELEMENT block EMPTY> +<!ATTLIST block begin CDATA #REQUIRED + end CDATA #REQUIRED> |