record-btrace: add bts buffer size configuration option
[external/binutils.git] / gdb / features / btrace-conf.dtd
1 <!-- Copyright (C) 2013-2015 Free Software Foundation, Inc.
2
3      Copying and distribution of this file, with or without modification,
4      are permitted in any medium without royalty provided the copyright
5      notice and this notice are preserved.  -->
6
7 <!ELEMENT btrace-conf   (bts?)>
8 <!ATTLIST btrace-conf   version CDATA   #FIXED "1.0">
9
10 <!ELEMENT bts   EMPTY>
11 <!ATTLIST bts   size    CDATA   #IMPLIED>