Let ARI allow gdb %p printf extensions
authorTom Tromey <tromey@adacore.com>
Wed, 2 Oct 2019 16:13:33 +0000 (10:13 -0600)
committerTom Tromey <tromey@adacore.com>
Tue, 8 Oct 2019 17:16:21 +0000 (11:16 -0600)
commitcd6fdaa1edac2a543aa23d77f0001f25f45c026b
tree1b93f96c3ab09f23e716befe6fd869d114f60d23
parent79bb1944d63eb04f86cfacc62321c1062c292ac0
Let ARI allow gdb %p printf extensions

As pointed out by Simon, this changes ARI to allow the gdb-specific %p
printf extensions.

gdb/ChangeLog
2019-10-08  Tom Tromey  <tromey@adacore.com>

* contrib/ari/gdb_ari.sh (%p): Allow gdb-specific %p extensions.
gdb/ChangeLog
gdb/contrib/ari/gdb_ari.sh