diff options
Diffstat (limited to 'gdb/features')
| -rw-r--r-- | gdb/features/threads.dtd | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gdb/features/threads.dtd b/gdb/features/threads.dtd new file mode 100644 index 00000000000..20308eeb713 --- /dev/null +++ b/gdb/features/threads.dtd @@ -0,0 +1,13 @@ +<!-- Copyright (C) 2008, 2009 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 threads (thread*)> +<!ATTLIST threads version CDATA #FIXED "1.0"> + +<!ELEMENT thread (#PCDATA)> + +<!ATTLIST thread id CDATA #REQUIRED> +<!ATTLIST thread core CDATA #IMPLIED> |