record-btrace: add bts buffer size configuration option

[thirdparty/binutils-gdb.git] / gdb / features / btrace-conf.dtd

diff --git a/gdb/features/btrace-conf.dtd b/gdb/features/btrace-conf.dtd
index ff54822d8b1e3864851c2140653bd48da7e3bc1a..588bb80dadf8e267b16a6fa8a712f5721ee07a6e 100644 (file)
--- a/gdb/features/btrace-conf.dtd
+++ b/gdb/features/btrace-conf.dtd
@@ -8,3 +8,4 @@
 <!ATTLIST btrace-conf  version CDATA   #FIXED "1.0">
 
 <!ELEMENT bts  EMPTY>
+<!ATTLIST bts  size    CDATA   #IMPLIED>